This topic was moved to #Coq devs & plugin devs > Plans for hints in proofs by Karl Palmskog.
Last updated: Mar 29 2024 at 08:39 UTC