Geeks
joshpadilla
/
tractatus
Toy models of the lambda cube.
Primary Language
Coq
tractatus GitHub
Markdown
Readme
0
Issues
4
Stargazers
3
Watchers
Watchers
jhcloos
joshpadilla
Google
pqnelson
Unfold, Inc.