%0 Journal Article
%T A Page in Number Theory
%A Andrea Asperti
%A Cristian Armentano
%J Journal of Formalized Reasoning
%D 2008
%I University of Bologna
%X 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.
%K Matita
%K Moebius mu function
%K Euler phi function
%U http://jfr.cib.unibo.it/article/view/385/726