Herbrand's Theorem and non-Euclidean Geometry. - Michael Beeson; Pierre Boutry; Julien Narboux (Bull. Symb. Log., 2015)

From Tarski to Descartes: Formalization of the Arithmetization of Euclidean Geometry. - Pierre Boutry; Gabriel Braun; Julien Narboux (SCSS, 2016)

On the Formalization of Foundations of Geometry. (Sur la formalisation des fondements de la géométrie). - Pierre Boutry (2018)

Poincaré Disc Model. - Danijela Simic; Filip Maric; Pierre Boutry (Arch. Formal Proofs, 2019)

Parallel Postulates and Continuity Axioms: A Mechanized Study in Intuitionistic Logic Using Coq. - Pierre Boutry; Charly Gries; Julien Narboux; Pascal Schreck (J. Autom. Reason., 2019)

Formalization of the arithmetization of Euclidean plane geometry and applications. - Pierre Boutry; Gabriel Braun; Julien Narboux (J. Symb. Comput., 2019)

Formalization of the Poincaré Disc Model of Hyperbolic Geometry. - Danijela Simic; Filip Maric; Pierre Boutry (J. Autom. Reason., 2021)

Towards an Independent Version of Tarski's System of Geometry. - Pierre Boutry; Stéphane Kastenbaum; Clément Saintier (ADG, 2023)

CV2EC: Getting the Best of Both Worlds. - Bruno Blanchet; Pierre Boutry; Christian Doczkal; Benjamin Grégoire; Pierre-Yves Strub (CSF, 2024)