38:01
published on February 25, 2026
Communications sécurisées avec des variables quantiques continues
By Philippe Grangier
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