This topic was moved by Ali Caglayan to #Coq devs & plugin devs > How to better document tactics?
Last updated: Oct 13 2024 at 01:02 UTC