[–] westurner 1y ago ↗ type theory notes: https://news.ycombinator.com/item?id=42440016#42444882HoTT in Lean 4: https://github.com/forked-from-1kasper/ground_zero
1 comment
[ 252 ms ] story [ 395 ms ] threadHoTT in Lean 4: https://github.com/forked-from-1kasper/ground_zero