TY  - RPRT
TI  - Euclid After Computer Proof-checking
AU  - Michael Beeson
PY  - 2021
DO  - 10.1080/00029890.2022.2069985
UR  - https://arxiv.org/abs/2103.09623
ID  - 2103.09623
ER  -