lean theorem prover used to show that New Foundations set theory is consistent relative to ZFC

Related stories

• Functional Decision Theory: A New Theory of Instrumental Rationality (2018)arxiv.org
  Hacker News · 2 points · 3 days ago
• Show HN: Spivak's Calculus formalized in Lean 4 – every theorem, every problemgithub.com
  Hacker News · 20 points · 4 days ago
• Lean 4 proof of Fermat's Last Theorem: how Claude did it in 11 daysdev.to
  DEV Community · 0 points · 3 days ago
• Publications on Regality theory and cultural selection theoryagner.org
  Hacker News · 2 points · 10 days ago
• Lean Golf – Code golf but you're proving theorems in Leanlean.golf
  Hacker News · 1 points · 5 days ago
• Writing a Theorem Prover from Scratchastledsa.substack.com
  Hacker News · 2 points · 5 days ago

Related topics