Mathématiques
et Interactions
-
Les vidéos associées à Logique en informatiqueVoir +
![Organising large proofs: techniques, tools, and future]()
01:07:11publiée le 23 décembre 2025Organising large proofs: techniques, tools, and future
De Georges Gonthier
![Waterproof: transforming a proof assistant into an educational tool]()
01:02:14publiée le 15 décembre 2025Waterproof: transforming a proof assistant into an educational tool
De Jim Portegies
![Trocq: Proof Transfer for Free, Beyond Equivalence and Univalence]()
01:06:05publiée le 15 décembre 2025Trocq: Proof Transfer for Free, Beyond Equivalence and Univalence
De Cyril Cohen
![On expansions of monadic second-order logic with power predicates - Lecture 3]()
01:04:54publiée le 13 octobre 2025On expansions of monadic second-order logic with power predicates - Lecture 3
De Joël Ouaknine
![On expansions of monadic second-order logic with power predicates - Lecture 2]()
59:18publiée le 13 octobre 2025On expansions of monadic second-order logic with power predicates - Lecture 2
De Joël Ouaknine
![On expansions of monadic second-order logic with power predicates - Lecture 1]()
53:11publiée le 13 octobre 2025On expansions of monadic second-order logic with power predicates - Lecture 1
De Joël Ouaknine
