ON THE PROOF OF THE THEOREMS OF FOUNDATIONS OF GEOMETRY USING ISABELLE/HOL. JCIA. 2022;1(2):45-69. doi:10.32890/jcia2022.1.2.3