Stream: Miscellaneous

Topic: Vernacstate.Declare.get_current_proof_name


view this post on Zulip Notification Bot (Jan 11 2021 at 20:46):

This topic was moved by Théo Zimmermann to #Coq devs & plugin devs > Vernacstate.Declare.get_current_proof_name


Last updated: Jun 01 2023 at 12:01 UTC