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

June 16, 2021

Computer-assisted proofs and mathematical understanding: The case of univalent foundations

Filed under: Uncategorized — Andrei Rodin @ 8:56 pm

Contributed talk at the Logical Perspectives Workshop 2021, June 17, Steklov Mathematical Institute (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