New top story on Hacker News: Formalizing the proof of PFR in Lean4 using Blueprint: a short tour

Formalizing the proof of PFR in Lean4 using Blueprint: a short tour
3 by georgehill | 0 comments on Hacker News.


December 5, 2023 at 04:19PM georgehill 3 https://ift.tt/choTBXz Formalizing the proof of PFR in Lean4 using Blueprint: a short tour 0 https://ift.tt/Yn0BZor