Collection Linear Logic Winter School / École d'hiver de logique linéaire
Organisateur(s) Tortora de Falco, Lorenzo ; Vaux Auclair, Lionel
Date(s) 24/01/2022 - 28/01/2022
URL associée https://conferences.cirm-math.fr/2685.html
Mathématiques
et Interactions
Organisateur(s) Tortora de Falco, Lorenzo ; Vaux Auclair, Lionel
Date(s) 24/01/2022 - 28/01/2022
URL associée https://conferences.cirm-math.fr/2685.html
-
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
![[1245] Model theory, differential algebra and functional transcendence]()
publiée le 9 décembre 2025[1245] Model theory, differential algebra and functional transcendence
De Amador Martin-Pizarro
![[1245] Model theory, differential algebra and functional transcendence](/media/cache/video_light/uploads/video/SeminaireBourbaki.jpg)
