ON THE PROOF OF THE THEOREMS OF FOUNDATIONS OF GEOMETRY USING ISABELLE/HOL. Journal of Computational Innovation and Analytics (JCIA), [S. l.], v. 1, n. 2, p. 45–69, 2022. DOI: 10.32890/jcia2022.1.2.3. Disponível em: https://www.educationmalaysia.co.uk/index.php/jcia/article/view/14517. Acesso em: 10 nov. 2025.