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 staunton on Wednesday December 06, 2023 @06:58AM (#38542730)
Here's people who are working on Lean's Mathlib discussing this https://leanprover.zulipchat.com/#narrow/stream/270676-lean4...
[ Parent | on HN ]

There are no comments on this comment yet.