Takahashi, Tadashi, and Fumiya Iwama. “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 March 29, 2024. https://e-journal.uum.edu.my/index.php/jcia/article/view/14517.