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