AareyanManzoor / Adams-Blue-BookLinks
The TeX for Adams' blue book, by the group TeXromancers
☆11Updated last month
Alternatives and similar repositories for Adams-Blue-Book
Users that are interested in Adams-Blue-Book are comparing it to the libraries listed below
Sorting:
- This is the TeX for Hicks ``notes on differential geometry'', TeX'd by the TeXromancers.☆11Updated 3 years ago
- ☆11Updated last month
- This it the TeX of Matsumura Commutative Algebra, TeX'd by the TeXromancers☆24Updated last month
- ☆15Updated last year
- Lean mathzoo☆25Updated 3 years ago
- ☆11Updated last year
- Lindemann–Weierstrass Theorem☆12Updated last year
- Notes on determinants and other concrete algebra (PRIMES 2015 reading project: problems and solutions)☆17Updated 3 years ago
- Formalization of Statement of Local Langlands Correspondence for Tori☆12Updated 6 years ago
- Auto math prover.☆11Updated last year
- math puzzles from various sources, formalized in Lean☆10Updated 2 years ago
- Formalization of the existence of sphere eversions☆43Updated last week
- All the math/tex files for the Automorphic Project☆19Updated last year
- The FATE (Formal Algebra Theorem Evaluation) benchmarks.☆25Updated last month
- Goldbach conjecture = 25-state turing machine☆29Updated 9 months ago
- A formalization of the Rubik's cube group☆27Updated 5 years ago
- ☆27Updated 4 months ago
- ☆15Updated 3 months ago
- Formalization of IMO shortlist problems in Lean 4☆22Updated 2 months ago
- ☆11Updated 3 years ago
- A formalized proof of Carleson's theorem in Lean☆74Updated this week
- A Lean file formatter☆70Updated 2 years ago
- Greek/English version of Euclid's Elements☆49Updated 2 years ago
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆189Updated last week
- An introduction to theorem proving in Lean for the impatient.☆19Updated 6 months ago
- Catalog Of Math Problems Formalized In Lean☆201Updated 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…☆121Updated last year
- A database app for ring theory☆22Updated 3 weeks ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆11Updated 2 years ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆28Updated 12 years ago