Geeks
jsnwest
jsnwest Home
jsnwest GitHub
1
Repo
0
Stars
0
Followers
0
Following
Pinned Repositories
book
A textbook on informal homotopy type theory
Language:
TeX
0
0
jsnwest's Repositories
jsnwest/
book
A textbook on informal homotopy type theory
Language:
TeX
0
0