Zulip Chat Archive
Stream: general
Topic: Proof widgets
Frederick Pu (Jan 01 2024 at 21:57):
Is there any way a proof widget can have access to the full tactic state
𝚠𝚘𝚓𝚌𝚒𝚎𝚌𝚑 𝚗𝚊𝚠𝚛𝚘𝚌𝚔𝚒 (Jan 01 2024 at 23:55):
It already does :) Check out for instance the demo here.
Last updated: May 02 2025 at 03:31 UTC