seewoo5 / awesome-number-theory
A list of awesome number theory resources
☆22Updated last year
Related projects: ⓘ
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆118Updated 6 months ago
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆106Updated last month
- All the math/tex files for the Automorphic Project☆18Updated 4 months ago
- Catalog Of Math Problems Formalized In Lean☆92Updated this week
- SampCert : Verified Differential Privacy☆59Updated last month
- Fermat's Last Theorem for regular primes☆50Updated this week
- Formalization of Statement of Local Langlands Correspondence for Tori☆11Updated 5 years ago
- Lean 4 tutorial files☆26Updated 4 months ago
- 💧 Liquid Tensor Experiment☆170Updated 7 months ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆27Updated 11 years ago
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)