Formal verification of folklore and miscellaneous results in number theory

No comments yet.