[–] 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
[ 2.1 ms ] story [ 18.4 ms ] threadHoTT in Lean 4: https://github.com/forked-from-1kasper/ground_zero