← Back to context

Comment by SP3269

9 hours ago

Interestingly, in his ICM 2026 lecture, Terence Tao specifically mentioned that Lean is not based on ZFC.

0 comments

SP3269

Reply

No comments yet

Contribute on Hacker News ↗