“On the proof of the theorems of foundations of geometry using Isabelle/Hol”, JCIA, vol. 1, no. 2, pp. 45–69, Jul. 2022, doi: 10.32890/jcia2022.1.2.3.