“On the proof of the theorems of foundations of geometry using Isabelle/Hol” (2022) Journal of Computational Innovation and Analytics (JCIA), 1(2), pp. 45–69. doi:10.32890/jcia2022.1.2.3.