Mathematics
and Interactions
-
Videos linked to proof assistantsMore +
![Organising large proofs: techniques, tools, and future]()
01:07:11published on December 23, 2025Organising large proofs: techniques, tools, and future
By Georges Gonthier
![Waterproof: transforming a proof assistant into an educational tool]()
01:02:14published on December 15, 2025Waterproof: transforming a proof assistant into an educational tool
By Jim Portegies
