TY  - RPRT
TI  - A formal system for Euclid's Elements
AU  - Jeremy Avigad
AU  - Edward Dean
AU  - John Mumma
PY  - 2009
DO  - 10.1017/s1755020309990098
UR  - https://arxiv.org/abs/0810.4315
ID  - 0810.4315
ER  -