ON THE PROOF OF THE THEOREMS OF FOUNDATIONS OF GEOMETRY USING ISABELLE/HOL. JCIA [Internet]. 2022 Jul. 31 [cited 2025 Nov. 10];1(2):45-69. Available from: https://www.educationmalaysia.co.uk/index.php/jcia/article/view/14517