Asperti, Andrea, and Cristian Armentano. 2008. “A Page in Number Theory”. Journal of Formalized Reasoning 1 (1):1-23. https://doi.org/10.6092/issn.1972-5787/385.