Takahashi, T. ., and F. Iwama. “ON THE PROOF OF THE THEOREMS OF FOUNDATIONS OF GEOMETRY USING ISABELLE/HOL”. Journal of Computational Innovation and Analytics (JCIA), vol. 1, no. 2, July 2022, pp. 45-69, doi:10.32890/jcia2022.1.2.3.