Geeks
snu-sf
/
Ordinal
Primary Language
Coq
MIT License
MIT
Ordinal GitHub
Markdown
Readme
1
Issue
11
Stargazers
3
Watchers
Issues
Closed issue
TODOs
#2 opened
a year ago
by
minkiminki
1