upcoming talk at the Workshop on Homotopy Type Theory/ Univalent Foundations (5-7 July 2020, Internet), co-located with FSCD2020
June 29, 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.