Boutry, Braun, Narboux, 2019. Formalization of the arithmetization of Euclidean plane geometry and applications 90.. https://doi.org/10.1016/j.jsc.2018.04.007