Elementary Number Theory Problems. Part I. - Naumowicz, Adam (Formalized Mathematics, 2020)