TAKAHASHI, T. .; IWAMA, F. 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://e-journal.uum.edu.my/index.php/jcia/article/view/14517. Acesso em: 29 mar. 2024.