Stream: Coq devs & plugin devs

Topic: Create a fresh evar using Ltac2


view this post on Zulip Notification Bot (Jul 11 2024 at 11:47):

This topic was moved to #Ltac2 > Create a fresh evar using Ltac2 by Karl Palmskog.


Last updated: Oct 13 2024 at 01:02 UTC