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

March 5, 2020

Computer-Assisted Proofs and Mathematical Understanding: the Case of Univalent Foundations

Filed under: Uncategorized — Andrei Rodin @ 9:25 am

extended abstract (pdf)

Where: Boston University

When: Friday, March 27 CANCELED

also accepted for presentation at Logical Perspectives 2020 DELAYED until June 2021

No Comments

No comments yet.

RSS feed for comments on this post.

Sorry, the comment form is closed at this time.

Powered by WordPress