Formal verification of folklore and miscellaneous results in number theorygithub.com·1 pts·yababa_y·0