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

submitted by /u/ketralnis
[link] [comments]

Posted

April 24, 2024

in

Development, News

by

Tags:

Comments

Leave a Reply Cancel reply

You must be logged in to post a comment.