Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Should Type Theory (HoTT) Replace (ZFC) Set Theory as the Foundation of Math?. Parent comment
From https://news.ycombinator.com/item?id=42440016#42444882 :
> /? Hott in lean4 https://www.google.com/search?q=hott+in+lean4
https://github.com/forked-from-1kasper/ground_zero :
> Lean 4 HoTT Library
There are no comments on this comment yet.
From https://news.ycombinator.com/item?id=42440016#42444882 :
> /? Hott in lean4 https://www.google.com/search?q=hott+in+lean4
https://github.com/forked-from-1kasper/ground_zero :
> Lean 4 HoTT Library