The accompanying code for the submission "Formalising Half of a Graduate Textbook on Number Theory" to ITP 2024. We have formalised Chapter 1,2,3, and 7 of Apostol's Modular Functions and Dirichlet ...

The goal of this open-source number theory textbook is to gather up all the core subfields of number theory into one text. By making it open-source, everyone will be able to contribute in terms of ...

It’s not often that a mathematics textbook is described as “gorgeous” or “a work of practical art.” But An Illustrated Theory of Numbers by Martin Weissman, associate professor of mathematics at UC ...