Formal verification of folklore and miscellaneous results in number theorygithub.com/josephcmac1 pointyababa_y4 years ago