← All repos

gebner/hott3

View on GitHub ↗ ★ 83 Lean

HoTT in Lean 3

4 mentions on Hacker News by 4 people: 0 stories, 4 comments · first 2018-05-29 · latest 2021-12-12