“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 May 30, 2026. https://e-journal.uum.edu.my/index.php/jcia/article/view/14517.