Quentin Canu

Publications

Pré-publication, Document de travail (1)

Design patterns of hierarchies for order structures Xavier Allamigeon,Quentin Canu,Cyril Cohen,Kazuhiko Sakaguchi,Pierre-Yves Strub 2023 Pré-publication, Document de travail hal-04008820v1

Communication dans un congrès (2)

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
Porting the Mathematical Components library to Hierarchy Builder Reynald Affeldt,Xavier Allamigeon,Yves Bertot,Quentin Canu,Cyril Cohenet al. the COQ Workshop 2021, Jul 2021, Rome, Italy Communication dans un congrès hal-03463762v1