Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Formalizing the proof of PFR in Lean4 using Blueprint: a short tour.
> The project has now completed its primary goals; the entire dependency graph is now green.
There are no comments on this comment yet.
> The project has now completed its primary goals; the entire dependency graph is now green.