Talk at the workshop on Truth and Meaning in Mathematics (Reykjavik, 25-27 June, 2025)(schedule) (abstract)(slides)(video)
May 25, 2025
Truth and Meaning in the Automated Proof Verification
Comments Off on Truth and Meaning in the Automated Proof Verification
No Comments
No comments yet.
RSS feed for comments on this post.
Sorry, the comment form is closed at this time.