01:07:11
publiée le 23 décembre 2025
Organising large proofs: techniques, tools, and future
De Georges Gonthier
01:03:39
publiée le 22 décembre 2025
Nonlinear Landau levels (NLLs) in the almost-bosonic anyon gas
De Douglas Lundholm
01:02:14
publiée le 15 décembre 2025
Waterproof: transforming a proof assistant into an educational tool
De Jim Portegies
01:06:05
publiée le 15 décembre 2025
Trocq: Proof Transfer for Free, Beyond Equivalence and Univalence
De Cyril Cohen
48:03
publiée le 25 novembre 2025
Quantum Error Mitigation Driven by Classical Simulations and Evolution Equations
De Oleg Kaikov