Hacker News Rankings

leanprover-community.github.io on April 23, 2024


New Foundations is consistent – a difficult mathematical proof proved using Lean	April 23, 2024, 7:10 a.m.	Graph	Comments