ghseeli / grad-school-notesLinks
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
Sorting:
- A database app for ring theory☆22Updated last month
- SorryDB indexes sorries in public lean repositories☆23Updated this week
- FreeTikZ☆37Updated 7 years ago
- Formalization of Statement of Local Langlands Correspondence for Tori☆11Updated 6 years ago
- ☆11Updated last year
- Lean mathzoo☆25Updated 3 years ago
- The matrix cookbook, proved in the Lean theorem prover☆112Updated last month
- A computer algebra system for research in combinatorial game theory☆44Updated last year
- Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean☆60Updated 2 weeks ago
- ☆21Updated last year
- Imperial College London lecture notes for Geometry, Algebra, and Number Theory☆38Updated last year
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Updated last year
- Interfacing with Large Language Models (remote and local) from Lean.☆26Updated last year
- A formalized proof of Carleson's theorem in Lean☆59Updated last week
- Lean documentation authoring tool☆189Updated this week
- Metamath verifier in Python☆40Updated last month
- Lecture notes, exercises, homeworks for Brown CS1951x 2023☆12Updated last year
- 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
- ☆50Updated 3 years ago
- The Complex Number Game. Make the complex numbers in Lean.☆40Updated 2 years ago
- The Lean 4 web editor☆97Updated 3 weeks ago
- All the math/tex files for the Automorphic Project☆19Updated last year
- Bonn Lean course for winter 24/25☆31Updated 6 months ago
- ☆25Updated 2 years ago
- ☆27Updated 3 years ago
- ☆14Updated 2 years ago
- Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instru…☆42Updated last year
- Code and source for website for the course "Proofs and Programs", January 2023, Indian Institute of Science☆9Updated last year
- A development of homotopy theory in the Lean formal theorem prover.☆15Updated 4 years ago