Geeks
billwestfall
/
coq_ide
Files for the CoqIDE software ( https://coq.inria.fr/ )
Primary Language
Coq
coq_ide GitHub
Markdown
Readme
0
Issues
0
Stargazers
2
Watchers
coq_ide
Files for the CoqIDE software (
https://coq.inria.fr/
)