CV2EC: Getting the Best of Both Worlds.
Proceedings of the 37th IEEE Computer Security Foundations Symposium, 2024
Towards an Independent Version of Tarski's System of Geometry.
Proceedings of the Proceedings 14th International Conference on Automated Deduction in Geometry, 2023
Formalization of the Poincaré Disc Model of Hyperbolic Geometry.
J. Autom. Reason., 2021
Formalization of the arithmetization of Euclidean plane geometry and applications.
J. Symb. Comput., 2019
Parallel Postulates and Continuity Axioms: A Mechanized Study in Intuitionistic Logic Using Coq.
J. Autom. Reason., 2019
Arch. Formal Proofs, 2019
On the Formalization of Foundations of Geometry. (Sur la formalisation des fondements de la géométrie).
PhD thesis, 2018
From Tarski to Descartes: Formalization of the Arithmetization of Euclidean Geometry.
Proceedings of the 7th International Symposium on Symbolic Computation in Software Science, 2016
Herbrand's Theorem and non-Euclidean Geometry.
Bull. Symb. Log., 2015