2 ms·
type theory notes: https://news.ycombinator.com/item?id=42440016#42444882 https://news.ycombinator.com/item?id=42440016#42444882 HoTT in Lean 4: https://gith
by westurner 2y ago
type theory notes:
https://news.ycombinator.com/item?id=42440016#42444882 https://news.ycombinator.com/item?id=42440016#42444882
HoTT in Lean 4:
https://github.com/forked-from-1kasper/ground_zero https://github.com/forked-from-1kasper/ground_zero