Takahashi, T. ., & Iwama, F. (2022). ON THE PROOF OF THE THEOREMS OF FOUNDATIONS OF GEOMETRY USING ISABELLE/HOL. Journal of Computational Innovation and Analytics (JCIA), 1(2), 45–69. https://doi.org/10.32890/jcia2022.1.2.3