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-04368266v1
Deposit thumbnail

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-03463762v1