Takahashi T, Iwama F. ON THE PROOF OF THE THEOREMS OF FOUNDATIONS OF GEOMETRY USING ISABELLE/HOL. JCIA [Internet]. 2022 Jul. 31 [cited 2024 Apr. 24];1(2):45-69. Available from: https://e-journal.uum.edu.my/index.php/jcia/article/view/14517