Cristian Armentano

  • Citations Per Year
Learn More
The title of the paper must be understood in a strictly literal sense: we discuss the formalization, in the Matita Interactive Theorem Prover [2, 3], of one page of a traditional graduate textbook in Number Theory, and precisely the portion of text spanning from line −9 of page 19 to line −6 of page 20 in Ireland and Rosen’s book “A Classical Introduction(More)
  • 1