← All repos

HoTT/book

View on GitHub ↗ ★ 2,176 TeX

A textbook on informal homotopy type theory

7 mentions on Hacker News by 6 people: 0 stories, 7 comments · first 2013-06-20 · latest 2022-12-25