T. . Takahashi and F. Iwama, “ON THE PROOF OF THE THEOREMS OF FOUNDATIONS OF GEOMETRY USING ISABELLE/HOL”, JCIA, vol. 1, no. 2, pp. 45–69, Jul. 2022.