2 results for “topic:new-foundations”
A formal consistency proof of Quine's set theory New Foundations
Exploring Quine's New Foundations in Lean 4 with structural proof theory, featuring a built-in algorithmic stratification validator and an interactive REPL environment.