01:07:11
publiée le 23 décembre 2025
Organising large proofs: techniques, tools, and future
De Georges Gonthier
Apparaît dans la collection : 2021 - T1A - WS2 - Phylogeny and inference: from models to data and back