Contributed talk at the INTERNATIONAL CONGRESS OF LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE AND TECHNOLOGY (CLMPST2019) PRAGUE, 5–10 August 2019 (program) (abstract) (full slides)(light slides)I
August 23, 2019
Formal Proof-Verification and Mathematical Intuition.
Comments Off on Formal Proof-Verification and Mathematical Intuition.
No Comments
No comments yet.
RSS feed for comments on this post.
Sorry, the comment form is closed at this time.