Some results of number theory

This is a collection of formalized proofs of many results of number theory. The proofs of the Chinese Remainder Theorem and Wilson's Theorem are due to Rasmussen. The proof of Gauss's law of quadratic reciprocity is due to Avigad, Gray and Kramer. Proofs can be found in most introductory number theory textbooks; Goldman's The Queen of Mathematics: a Historically Motivated Guide to Number Theory provides some historical context. Avigad, Gray and Kramer have also provided library theories deal- ing with nite sets and