Euclid after computer proof-checking. Beeson, M. The American Mathematical Monthly, 129(7):623-646, 2022.
Euclid after computer proof-checking [pdf]Pdf  bibtex   44 downloads  

Downloads: 44