Organising large proofs: techniques, tools, and future
De Georges Gonthier
Waterproof: transforming a proof assistant into an educational tool
De Jim Portegies
Trocq: Proof Transfer for Free, Beyond Equivalence and Univalence
De Cyril Cohen
A $\lambda$-adic family of Funke-Millson cycles and a $\lambda$-adic Funke-Millson lift
De Paul Kiefer
Modularity of special cycles in orthogonal and unitary Shimura varieties
De Salim Tayou