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