Stream: Ltac2

Topic: ✔ Program mode with tactics in terms


view this post on Zulip David Swasey (Apr 09 2024 at 18:03):

I was able to get by hitting my evars with Evd.set_obligation_evar (= what @Janno suggested offline).

view this post on Zulip Notification Bot (Apr 09 2024 at 18:03):

David Swasey has marked this topic as resolved.


Last updated: Oct 12 2024 at 11:01 UTC