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