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