Euclid after Computer Proof-Checking

Michael Beeson. Euclid after Computer Proof-Checking. The American Mathematical Monthly, 129(7):623-646, 2022. [doi]

Abstract

Abstract is missing.