Mathematics
and Interactions
Home
Videos
Collections
Institutions
Speakers
fr
Login
Please
leave your feedback
in order for us to improve your experience !
5 videos
Beyond Permutahedra and Associahedra / Au-dela du Permutoèdre et de l'associaèdre
13 videos
MALINCA Kick-off meeting
4 videos
Bourbaki - Novembre 2025
80 videos
Not Only Scalar Curvature Seminar
All the collections
All the institutions
Keywords
> Software verification
Videos linked to Software verification
58:14
published on
December 15, 2025
Designing Interactive Partners for Proof
By Andrew Head
More +
Home
Videos
Collections
Institutions
Speakers
About
Login
Fr
/
En
Help
Legal Notice
& Privacy Policy
Copyright Carmin.tv 2025
By browsing our website, you accept the use of cookies to improve your experience.
Find out more about our privacy policy
.
Approve
Give feedback
