Collection 13th International workshop in set theory / 13ème Atelier international de théorie des ensembles
Organisateur(s) Louveau, Alain ; Magidor, Menachem ; Velickovic, Boban
Date(s) 29/09/2014 - 03/10/2014
Mathématiques
et Interactions
Organisateur(s) Louveau, Alain ; Magidor, Menachem ; Velickovic, Boban
Date(s) 29/09/2014 - 03/10/2014
-
Toutes les vidéos de la collection (2)
![Reflection of stationary sets and the tree property at $\aleph_{\omega^2+1}$]()
32:08publiée le 28 octobre 2014Reflection of stationary sets and the tree property at $\aleph_{\omega^2+1}$
De Laura Fontanella
-
Suggestions
![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
