Quentin Canu
3
Documents
Publications
Publications
|
|
Design patterns of hierarchies for order structures2023
Pré-publication, Document de travail
hal-04008820
v1
|
|
|
A Formal Disproof of Hirsch ConjectureCPP 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
|
|
|
Porting the Mathematical Components library to Hierarchy Builderthe COQ Workshop 2021, Jul 2021, Rome, Italy
Communication dans un congrès
hal-03463762
v1
|
Chargement...
Chargement...