3 ms·A Formal System for Euclid's Elements1 points by jgg 16y agojgg 16y agoThe Cambridge link appears to be down. Try arXiv instead: http://arxiv.org/pdf/0810.4315v3 http://arxiv.org/pdf/0810.4315v3