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