L leanprover-community.github.io New Foundations is consistent – a difficult mathematical proof proved using Lean 340 points namanyayg 2 years ago 162 comments
