Geeks
KWARC
/
coq-xml-script
Script to run coq xml export
Primary Language
Shell
MIT License
MIT
coq-xml-script GitHub
Markdown
Readme
0
Issues
0
Stargazers
8
Watchers