Geeks
andrejbauer
/
formaltt
Formalization of type theory
Primary Language
Agda
MIT License
MIT
formaltt GitHub
Markdown
Readme
0
Issues
1
Stargazer
2
Watchers
Stargazers
ebigram