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

June 29, 2020

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

Filed under: Uncategorized — Andrei Rodin @ 12:44 pm

upcoming talk at the Workshop on Homotopy Type Theory/ Univalent Foundations (5-7 July 2020, Internet), co-located with FSCD2020

No Comments

No comments yet.

RSS feed for comments on this post.

Sorry, the comment form is closed at this time.

Powered by WordPress