UNILOG 2022, Orthodox Academy of Crete, April 11, 2022. (slides)
April 11, 2022
Computer-Assisted Proofs, Univalent Foundations, and Axiomatic Method
Comments Off on Computer-Assisted Proofs, Univalent Foundations, and Axiomatic Method
No Comments
No comments yet.
RSS feed for comments on this post.
Sorry, the comment form is closed at this time.