Invited lecture in the Institute of Philosophy of Slovak Academy of Sciences (Bratislava), June 16 starting 11 a.m.) (abstract)(poster)(youtube stream and video)(slides)
May 25, 2025
Automated Proof Verification and Foundations of Mathematics
Comments Off on Automated Proof Verification and Foundations of Mathematics
No Comments
No comments yet.
RSS feed for comments on this post.
Sorry, the comment form is closed at this time.