Takahashi, Tadashi, and Fumiya Iwama. 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.