New Foundations is consistent - a difficult mathematical proof proved computationally using Lean
10
votes
Showing only topics in ~science with the tag "randall holmes".
Back to normal view /
Search all groups