leanprover/lean4-nightly

Nightly builds

3 best points · 12 comments · 1 Hacker News post · 23 GitHub stars · View on GitHub

Hacker News discussions

Check my proof of P=NP for errors [pdf] (3 points, 12 comments, by porton, 2021-06-28)