Michael Beeson, Julien Narboux, Freek Wiedijk. Proof-checking Euclid. Annals of Mathematics and Artificial Intelligence, 85(2-4):213-257, 2019. [doi]
@article{BeesonNW19, title = {Proof-checking Euclid}, author = {Michael Beeson and Julien Narboux and Freek Wiedijk}, year = {2019}, doi = {10.1007/s10472-018-9606-x}, url = {https://doi.org/10.1007/s10472-018-9606-x}, researchr = {https://researchr.org/publication/BeesonNW19}, cites = {0}, citedby = {0}, journal = {Annals of Mathematics and Artificial Intelligence}, volume = {85}, number = {2-4}, pages = {213-257}, }