Takahashi, T. . and 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), pp. 45–69. doi: 10.32890/jcia2022.1.2.3.