extended abstract (pdf)
Where: Boston University
When: Friday, March 27 CANCELED
also accepted for presentation at Logical Perspectives 2020 DELAYED until June 2021
March 5, 2020
Computer-Assisted Proofs and Mathematical Understanding: the Case of Univalent Foundations
Comments Off on Computer-Assisted Proofs and Mathematical Understanding: the Case of Univalent Foundations
No Comments
No comments yet.
RSS feed for comments on this post.
Sorry, the comment form is closed at this time.