TY  - RPRT
TI  - Proof-checking Euclid
AU  - Michael Beeson
AU  - Julien Narboux
AU  - Freek Wiedijk
PY  - 2018
UR  - https://arxiv.org/abs/1710.00787
ID  - 1710.00787
ER  -