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
- Virtual notebook that Evan uses for his PhD thesis.☆11Updated 2 months ago
- SorryDB indexes sorries in public lean repositories☆27Updated last week
- A computer algebra system for research in combinatorial game theory☆44Updated last year
- The matrix cookbook, proved in the Lean theorem prover☆115Updated this week
- Bonn Lean course for winter 24/25☆33Updated this week
- Lean 4 library for pretty printing expressions as LaTeX☆26Updated 5 months ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago
- Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean☆60Updated last month
- Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instru…☆42Updated last year
- Formalization of Statement of Local Langlands Correspondence for Tori☆11Updated 6 years ago
- Metamath verifier in Python☆40Updated 2 months ago
- FreeTikZ☆38Updated 7 years ago
- A program for drawing knots and links, with support for importing images☆32Updated last year
- Lean for the Curious Mathematician 2020☆67Updated last year
- Interactive neural theorem proving in Lean☆123Updated 3 years ago
- Neural theorem proving toolkit: data extraction tools for Lean 4☆28Updated last week
- ☆21Updated last year
- Lean documentation authoring tool☆201Updated this week
- Lecture notes from Cambridge maths☆69Updated last year
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆22Updated this week
- Lean mathzoo☆25Updated 3 years ago
- Python talking to the Lean theorem prover☆45Updated 3 years ago
- Interfacing with Large Language Models (remote and local) from Lean.☆27Updated last year
- Methods for accelerating and proving theorems about 5-state Busy Beaver candidates☆20Updated 3 years ago
- GeoGebra Discovery☆24Updated last month
- Let's translate works of Grothendieck☆26Updated 5 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
- ☆50Updated 3 years ago
- VSCode extension for Metamath☆10Updated last month