Iwama, Fumiya, and Tadashi Takahashi. “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, https://doi.org/10.32890/jcia2022.1.2.3.