Formalization of number theory texts in Naproche