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