ezyang/HoTT - Gitstar Ranking

Gitstar Ranking

Users
Organizations
Repositories
Rankings

Sign in with GitHub

ezyang

Fetched on 2026/06/08 12:43

ezyang / HoTT

Homotopy type theory - View it on GitHub

http://homotopytypetheory.org/

Star

0

Rank

14024974

Released by @k0kubun in December 2014. Fork me on GitHub.