seewoo5 / awesome-number-theory
A list of awesome number theory resources
☆22Updated last year
Related projects ⓘ
Alternatives and complementary repositories for awesome-number-theory
- All the math/tex files for the Automorphic Project☆18Updated 6 months ago
- Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021☆38Updated 2 years ago
- A SageMath implementation of the Castryck-Decru Key Recovery attack on SIDH☆122Updated last year
- SampCert : Verified Differential Privacy☆65Updated 3 months ago
- Formalization of Statement of Local Langlands Correspondence for Tori☆11Updated 5 years ago
- Fast lattice reduction☆170Updated 3 months ago
- ☆31Updated last year
- ☆14Updated 11 months ago
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆127Updated 3 months ago
- Lean 4 tutorial files☆30Updated 6 months ago
- Fermat's Last Theorem for regular primes☆52Updated this week
- Helper toolkit for creating your own Lean 4 UserWidgets☆115Updated this week
- Source code for the Mathematics in Lean tutorial.☆92Updated 2 weeks ago
- Formalizing "Proofs from THE BOOK"☆54Updated this week
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆119Updated 8 months ago
- A Sage interface for FGb (Gröbner basis computations)☆30Updated 6 months ago
- Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter☆67Updated last month
- Let's translate works of Grothendieck☆24Updated 5 years ago
- Lattices in Cryptography (University of Michigan)☆69Updated last month
- amateur translation project of Grothendieck's EGA.☆330Updated last month
- 💧 Liquid Tensor Experiment☆181Updated 10 months ago
- The user home repository for the Mathematics in Lean tutorial.☆270Updated 2 weeks ago
- Formalization of the existence of sphere eversions☆36Updated this week
- ☆25Updated last year
- Server to host lean games.☆196Updated 2 weeks ago
- White-box automation for Lean 4☆211Updated this week
- Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023☆28Updated last year
- A formalization of the Rubik's cube group☆26Updated 4 years ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆206Updated 2 weeks ago
- Markdown file of the list and explanations of all mathlib4 tactics☆29Updated 10 months ago