3 ms·Formal verification of folklore and miscellaneous results in number theory1 points by yababa_y 4y ago