Files for the CoqIDE software ( https://coq.inria.fr/ )
Primary LanguageCoq
No one’s star this repository yet.