ghseeli / grad-school-notes
Our first-year mathematics graduate school notes
☆9Updated 3 years ago
Alternatives and similar repositories for grad-school-notes:
Users that are interested in grad-school-notes are comparing it to the libraries listed below
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆27Updated 3 years ago
- Let's translate works of Grothendieck☆24Updated 5 years ago
- ☆49Updated 2 years ago
- An English translation of the Séminaire de Géométrie Algébrique du Bois Marie☆31Updated last month
- Tag-based webview of LaTeX documents☆28Updated last year
- IMO Grand Challenge for Artificial Intelligence☆45Updated 3 years ago
- A formalized proof of Carleson's theorem in Lean☆49Updated this week
- All the math/tex files for the Automorphic Project☆18Updated 10 months ago
- multilingual dictionary of mathematical terminology☆19Updated 4 months ago
- plasTeX plugin to build formalization blueprints.☆193Updated last month
- Schemes in Lean (v2)☆43Updated 4 years ago
- ☆46Updated 10 months ago
- An introduction to theorem proving in Lean for the impatient.☆155Updated 3 weeks ago
- Lean for the Curious Mathematician 2020☆66Updated last year
- Formalization of Statement of Local Langlands Correspondence for Tori☆11Updated 6 years ago
- The matrix cookbook, proved in the Lean theorem prover☆103Updated 4 months ago
- A file-based mirror of the nLab wiki (HTML format).☆24Updated 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 last year
- Fermat's Last Theorem for regular primes☆54Updated 2 weeks ago
- Lecture notes from Cambridge maths☆66Updated last year
- A database app for ring theory☆21Updated last month
- Imperial College London lecture notes for Geometry, Algebra, and Number Theory☆36Updated last year
- An English translation of Grothendieck's Fondements de la Géometrie Algébrique☆17Updated 3 months ago
- Commutative diagrams with TikZ☆49Updated 2 years ago
- FreeTikZ☆38Updated 7 years ago
- The Lean 4 web editor☆87Updated 3 weeks ago
- Theorem Proving in Lean 4☆176Updated 5 months ago
- ImProver: Agent-Based Automated Proof Optimization☆24Updated last week
- Formalization of the existence of sphere eversions☆39Updated 3 weeks ago
- Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021☆47Updated 3 years ago