On the proof of the theorems of foundations of geometry using Isabelle/Hol. Journal of Computational Innovation and Analytics (JCIA), v. 1, n. 2, p. 45–69, 31 Jul.2022.