Files for the CoqIDE software ( https://coq.inria.fr/ )
Primary LanguageCoq
No issues in this repository yet.