New Foundations is consistent - a difficult mathematical proof proved computationally using Lean

unkz
2024-04-22T15:03:06Z

Link URL: https://leanprover-community.github.io/con-nf/

Comments URL: https://tildes.net/~science/1ftc/new_foundations_is_consistent_a_difficult_mathematical_proof_proved_computationally_using_lean

Votes: 10

Comments: 1