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