Quentin Canu
3
Documents
Publications
Publications
|
|
Design patterns of hierarchies for order structures2023 |
|
|
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⟩ |
|
|
Porting the Mathematical Components library to Hierarchy Builderthe COQ Workshop 2021, Jul 2021, Rome, Italy |
Chargement...
Chargement...