Giters
jmchapman
/
TT-in-TT
Type theory in type theory
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
16
Watchers:
5
Issues:
1
Forks:
2
About
Type theory in type theory