Geeks
stepbrobd
/
coq
forked from coq/coq
Primary Language
OCaml
GNU Lesser General Public License v2.1
LGPL-2.1
coq GitHub
Markdown
Readme
0
Issues
1
Stargazer
0
Watchers
Stargazers
stepbrobd
Northeastern University