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