Read news on New Foundations with our app.
Read more in the app
Gren 0.4: New Foundations
New Foundations is consistent – a difficult mathematical proof proved using Lean
