“ON THE PROOF OF THE THEOREMS OF FOUNDATIONS OF GEOMETRY USING ISABELLE HOL”. Journal of Computational Innovation and Analytics (JCIA) 1, no. 2 (July 31, 2022): 45–69. Accessed November 10, 2025. https://www.educationmalaysia.co.uk/index.php/jcia/article/view/14517.