login sign up

New Foundations is consistent – a difficult mathematical proof proved using Lean

leanprover-community.github.io · first added by @hn_wayback
saved by
1 person
discussions · 1
New Foundations is consistent – a difficult mathematical proof proved using Lean 340 pts · 162 comments · Apr 2024 340 pts · 162 comments · Apr 2024
0 people saved or upvoted this