Geeks
amintimany
/
UniverseComparator
A tool to compare universe levels in Coq.
Primary Language
OCaml
MIT License
MIT
UniverseComparator GitHub
Markdown
Readme
2
Issues
2
Stargazers
3
Watchers
Stargazers
clarus
Paris
smondet
New York, NY