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

news.ycombinator.com

saved by: 0 people
related read on: New Foundations is consistent – a difficult mathematical ... discussion