01:07:11
published on December 23, 2025
Organising large proofs: techniques, tools, and future
By Georges Gonthier
01:02:14
published on December 15, 2025
Waterproof: transforming a proof assistant into an educational tool
By Jim Portegies
01:06:05
published on December 15, 2025
Trocq: Proof Transfer for Free, Beyond Equivalence and Univalence
By Cyril Cohen
published on December 9, 2025
[1245] Model theory, differential algebra and functional transcendence
By Amador Martin-Pizarro