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
- A database app for ring theory☆22Updated last week
- Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean☆57Updated last week
- Interfacing with Large Language Models (remote and local) from Lean.☆26Updated 9 months ago
- A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.☆24Updated 3 years ago
- ☆86Updated last year
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆27Updated 3 years ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago
- Fermat's Last Theorem for regular primes☆55Updated 2 weeks ago
- Formalization of the existence of sphere eversions☆40Updated 3 weeks ago
- Bonn Lean course for winter 24/25☆29Updated 4 months ago
- Template for blueprint-driven formalization projects in Lean.☆48Updated last week
- Metamath verifier in Python☆38Updated last year
- This project is about formally verifying Seymour's decomposition theorem for regular matroids.☆22Updated last week
- Python talking to the Lean theorem prover☆43Updated 3 years ago
- Source code for the Mathematics in Lean tutorial.☆134Updated 2 weeks ago
- ☆14Updated 2 years ago
- Lean for the Curious Mathematician 2020☆66Updated last year
- Tools based on AI for helping with Lean 4☆81Updated 3 weeks ago
- Formalisation of the Kelley-Meka bound on Roth numbers☆18Updated last week
- ☆11Updated last year
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 4 years ago
- Commutative diagrams with TikZ☆50Updated 2 years ago
- Lean-independent implementation of the MM-Lean link☆29Updated 2 years ago
- Lecture notes from Cambridge maths☆67Updated last year
- Let's translate works of Grothendieck☆24Updated 5 years ago
- Imperial College London lecture notes for Geometry, Algebra, and Number Theory☆36Updated last year
- ☆21Updated last year
- lecture notes for Analytic Geometry course☆11Updated 3 years ago
- The matrix cookbook, proved in the Lean theorem prover☆104Updated 5 months ago
- Leaff is a diff tool for Lean environments☆16Updated 3 months ago