andrei rodin Andrei Rodin's blog about History and Philosophy of Mathematics

April 11, 2022

Computer-Assisted Proofs, Univalent Foundations, and Axiomatic Method

Filed under: Uncategorized — Andrei Rodin @ 8:23 am

UNILOG 2022, Orthodox Academy of Crete, April 11, 2022. (slides)

No Comments

No comments yet.

RSS feed for comments on this post.

Sorry, the comment form is closed at this time.

Powered by WordPress