Journal of Formalized Reasoning (Dec 2008)

A Page in Number Theory

  • Cristian Armentano,
  • Andrea Asperti

Journal volume & issue
Vol. 1, no. 1
pp. 1 – 23

Abstract

Read online

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.

Keywords