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
53:11
publiée le 13 octobre 2025
On expansions of monadic second-order logic with power predicates - Lecture 1
De Joël Ouaknine
59:18
publiée le 13 octobre 2025
On expansions of monadic second-order logic with power predicates - Lecture 2
De Joël Ouaknine