This topic was moved by Théo Zimmermann to #Coq devs & plugin devs > Vernacstate.Declare.get_current_proof_name
Last updated: Sep 28 2023 at 11:01 UTC