Geeks
ionathanch
/
ttzoo
Notes on type theory.
Primary Language
TeX
ttzoo GitHub
Markdown
Readme
0
Issues
3
Stargazers
2
Watchers
Stargazers
nikitavoloboev
Tbilisi
rlarson20
NYC, New York
Thought-Weaver
@microsoft