News for hackers. Stuff that matters.

A comment on Formalizing the proof of PFR in Lean4 using Blueprint: a short tour. Parent comment

Re:Formalizing the proof of PFR in Lean4 using Blueprint: a ... by swagmoney1606 on Tuesday December 05, 2023 @04:45PM (#38537361)
Lean4 has been a pleasure to learn so far! Starting with the natural numbers game was great for me: https://adam.math.hhu.de/
[ Parent | on HN ]

There are no comments on this comment yet.