AareyanManzoor / Adams-Blue-BookLinks
The TeX for Adams' blue book, by the group TeXromancers
☆11Updated last year
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 2 years ago
- This it the TeX of Matsumura Commutative Algebra, TeX'd by the TeXromancers☆23Updated last year
- ☆11Updated last year
- All the math/tex files for the Automorphic Project☆18Updated last year
- ☆15Updated last year
- Lennard Jones in Lean☆16Updated this week
- Formalization of Statement of Local Langlands Correspondence for Tori☆11Updated 6 years ago
- Auto math prover.☆10Updated 10 months ago
- lecture notes for Analytic Geometry course☆11Updated 3 years ago
- Formalization of the existence of sphere eversions☆42Updated this week
- Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean☆59Updated this week
- Notes on determinants and other concrete algebra (PRIMES 2015 reading project: problems and solutions)☆16Updated 2 years ago
- ☆10Updated this week
- Lean mathzoo☆24Updated 3 years ago
- ☆27Updated 3 years ago
- Lindemann–Weierstrass Theorem☆11Updated last year
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago
- A formalization of the Rubik's cube group☆27Updated 4 years ago
- The matrix cookbook, proved in the Lean theorem prover☆106Updated this week
- A simple REPL for Lean 4, returning information about errors and sorries.☆10Updated last year
- Syntax for searching with natural language from Lean, using https://leansearch.net/ (may extend to other services)☆23Updated last week
- A formalized proof of Carleson's theorem in Lean☆55Updated this week
- Conservative floating point interval arithmetic in Lean☆16Updated last month
- An English translation of Grothendieck's Fondements de la Géometrie Algébrique☆18Updated 5 months ago
- ☆11Updated last year
- Fermat's Last Theorem for regular primes☆58Updated this week
- ☆20Updated 4 months ago
- A LaTeX package to use amsthm with a key-value interface☆19Updated this week
- Formalizing Euclidean Geometry in Lean☆29Updated last year
- Formalizing "Proofs from THE BOOK"☆61Updated 5 months ago