[fleche] [coq] Recognize Goal and Definition $id : ... . as proof starters#561
Merged
ejgallego merged 1 commit intomainfrom goal_proofSep 29, 2023
+13-2
Goal and Definition $id : ... . as proof starters#561