rschwiebert / RingAppLinks
A database app for ring theory
☆22Updated last month
Alternatives and similar repositories for RingApp
Users that are interested in RingApp are comparing it to the libraries listed below
Sorting:
- All the math/tex files for the Automorphic Project☆19Updated last year
- ☆27Updated 2 months 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
- A computer algebra system for research in combinatorial game theory☆54Updated last year
- Johan's clone of the cring repository from http://cring.adeel.ru/☆30Updated 12 years ago
- Our first-year mathematics graduate school notes☆10Updated 4 years ago
- The matrix cookbook, proved in the Lean theorem prover☆125Updated 3 months ago
- 💧 Liquid Tensor Experiment☆219Updated last year
- Lean for the Curious Mathematician 2020☆68Updated 2 years ago
- ☆11Updated last year
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆202Updated 2 weeks ago
- A formalized proof of Carleson's theorem in Lean☆81Updated this week
- Bonn Lean course for winter 24/25☆39Updated this week
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆32Updated 3 years ago
- A Lean file formatter☆70Updated 2 years ago
- ☆11Updated 4 years ago
- ☆16Updated 2 years ago
- ☆12Updated this week
- Formalisation of the Kelley-Meka bound on Roth numbers☆20Updated 2 weeks ago
- Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean☆67Updated 3 weeks ago
- A template for blueprint-driven formalization projects in Lean.☆83Updated this week
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Updated 2 years ago
- Catalog Of Math Problems Formalized In Lean☆220Updated this week
- Alternative Mizar proof checker (http://mizar.org/) written in Rust☆59Updated 5 months ago
- Listing of online math seminars☆43Updated 3 months ago
- Fermat's Last Theorem for regular primes☆61Updated last week
- Let's translate works of Grothendieck☆32Updated 6 years ago
- Visual Studio Code extension for the Lean 4 proof assistant☆246Updated 3 weeks ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆58Updated last year