ghseeli / grad-school-notesLinks
Our first-year mathematics graduate school notes
☆10Updated 4 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 week
- Virtual notebook that Evan uses for his PhD thesis.☆11Updated 5 months ago
- A computer algebra system for research in combinatorial game theory☆54Updated 2 years ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆30Updated 12 years ago
- Bonn Lean course for winter 24/25☆40Updated last month
- The matrix cookbook, proved in the Lean theorem prover☆126Updated 4 months ago
- Interactive neural theorem proving in Lean☆132Updated 3 years ago
- SorryDB indexes sorries in public lean repositories☆42Updated last week
- Formalisation of the Kelley-Meka bound on Roth numbers☆21Updated last week
- Tear open drawing canvases inside Jupyter code. In Python, read the canvases as NumPy image data.☆37Updated 3 years ago
- ☆51Updated 3 years ago
- A Lean 4 Jupyter kernel via repl☆33Updated last year
- ☆25Updated 4 years ago
- Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean☆73Updated 2 weeks ago
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆122Updated last year
- Formalization of Statement of Local Langlands Correspondence for Tori☆12Updated 7 years ago
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆33Updated 5 years ago
- A program for drawing knots and links, with support for importing images☆33Updated 2 years ago
- GeoGebra Discovery☆27Updated 2 weeks ago
- Theorem Proving in Lean 4☆233Updated last month
- A formalized proof of Carleson's theorem in Lean☆83Updated last week
- Lean web editor☆129Updated last month
- Metamath verifier in Python☆41Updated 8 months ago
- 💧 Liquid Tensor Experiment☆220Updated 2 years ago
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆12Updated 4 years ago
- Lean documentation authoring tool☆254Updated this week
- Source code for the Mathematics in Lean tutorial.☆184Updated 5 months ago
- All the math/tex files for the Automorphic Project☆19Updated last year
- Visual Studio Code extension for the Lean 4 proof assistant☆251Updated this week
- Source code for the nLab☆201Updated 10 months ago