seewoo5 / awesome-number-theory
A list of awesome number theory resources
☆27Updated 2 years ago
Alternatives and similar repositories for awesome-number-theory:
Users that are interested in awesome-number-theory are comparing it to the libraries listed below
- ☆36Updated 2 years ago
- Lattices in Cryptography (University of Michigan)☆82Updated 6 months ago
- Lecture notes for Chris Peikert's graduate-level Theory of Cryptography course☆167Updated last year
- A rust and SageMath implementation of (2,2)-isogenies in the theta model☆19Updated 2 months ago
- A Sage interface for FGb (Gröbner basis computations)☆34Updated 10 months ago
- A SageMath implementation of the Castryck-Decru Key Recovery attack on SIDH☆127Updated last year
- SampCert : Verified Differential Privacy☆72Updated 7 months ago
- LaTeX package for typesetting pseudocode and cryptographic games☆163Updated last year
- ☆15Updated 2 years ago
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆119Updated last year
- Fast lattice reduction☆192Updated this week
- ☆32Updated last year
- Representing DES in Z3☆15Updated last year
- Lean for the Curious Mathematician 2020☆66Updated last year
- EasyCrypt: Computer-Aided Cryptographic Proofs☆343Updated last week
- ☆30Updated last year
- All the math/tex files for the Automorphic Project☆18Updated 10 months ago
- ☆14Updated last year
- An introduction to theorem proving in Lean for the impatient.☆155Updated 3 weeks ago
- A foundational framework for modular cryptographic proofs in Coq☆64Updated last week
- Automated cryptanalysis of substitution permutation network cipher☆29Updated 7 months ago
- Formalizing "Proofs from THE BOOK"☆57Updated 3 months ago
- Imperial College London lecture notes for Geometry, Algebra, and Number Theory☆36Updated last year
- ☆45Updated 2 weeks ago
- repository for material for Jan-Mar 2023 course on formalising mathematics☆48Updated last year
- Lean 4 tutorial files☆36Updated 11 months ago
- Formalization of Statement of Local Langlands Correspondence for Tori☆11Updated 6 years ago
- Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023☆29Updated last year
- Solution to Algebra, Chapter 0☆88Updated last year
- Experiments with Universal Composability in EasyCrypt☆33Updated this week