Quentin Canu

3
Documents

Publications

Publications

A Formal Disproof of Hirsch Conjecture

Xavier Allamigeon , Quentin Canu , Pierre-Yves Strub
CPP 2023 - 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2023, Boston, United States. pp.17-29, ⟨10.1145/3573105.3575678⟩
Communication dans un congrès hal-04368266 v1
Image document

Porting the Mathematical Components library to Hierarchy Builder

Reynald Affeldt , Xavier Allamigeon , Yves Bertot , Quentin Canu , Cyril Cohen et al.
the COQ Workshop 2021, Jul 2021, Rome, Italy
Communication dans un congrès hal-03463762 v1