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

The Fermat's Last Theorem Project