Geeks
banacorn
/
type-theory
Primary Language
Agda
MIT License
MIT
type-theory GitHub
Markdown
Readme
0
Issues
1
Stargazer
2
Watchers
type-theory