Mathematics
and Interactions
-
Videos linked to Logic in Computer ScienceMore +
![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
![Trocq: Proof Transfer for Free, Beyond Equivalence and Univalence]()
01:06:05published on December 15, 2025Trocq: Proof Transfer for Free, Beyond Equivalence and Univalence
By Cyril Cohen
![On expansions of monadic second-order logic with power predicates - Lecture 3]()
01:04:54published on October 13, 2025On expansions of monadic second-order logic with power predicates - Lecture 3
By Joël Ouaknine
![On expansions of monadic second-order logic with power predicates - Lecture 2]()
59:18published on October 13, 2025On expansions of monadic second-order logic with power predicates - Lecture 2
By Joël Ouaknine
![On expansions of monadic second-order logic with power predicates - Lecture 1]()
53:11published on October 13, 2025On expansions of monadic second-order logic with power predicates - Lecture 1
By Joël Ouaknine
