@article{Asperti_Armentano_2008, title={A Page in Number Theory}, volume={1}, url={https://jfr.unibo.it/article/view/385}, DOI={10.6092/issn.1972-5787/385}, abstractNote={We discuss the formalization, in the Matita Interactive Theorem Prover, of a few elementary results in number theory about the Moebius mu function and the Euler phi function.}, number={1}, journal={Journal of Formalized Reasoning}, author={Asperti, Andrea and Armentano, Cristian}, year={2008}, month={Jan.}, pages={1–23} }