Writing review for Machine-Checked Proofs and the Rise of Formal Methods in Mathematics - Theoretically Speaking

Simons Institute

via YouTube

Your review helps other learners like you discover great courses. Only review the course if you have taken or started taking this course.

Cancel