01:07:11
published on December 23, 2025
Organising large proofs: techniques, tools, and future
By Georges Gonthier
Appears in collection : 2021 - T1A - WS2 - Phylogeny and inference: from models to data and back