Generate "_CoqProject" files for Coq theories #11752
+255
−16
Merged
Loading