4 citations · 5 across the 3 of their papers we have counts for
1 paper · 1 filter
Michael Beeson, Julien Narboux, Freek Wiedijk
We used computer proof-checking methods to verify the correctness of our proofs of the propositions in Euclid Book I. We used axioms as close as possible to those of Euclid, in a l…