rschwiebert / RingApp
A database app for ring theory
☆21Updated 3 weeks ago
Alternatives and similar repositories for RingApp:
Users that are interested in RingApp are comparing it to the libraries listed below
- Formalization of Statement of Local Langlands Correspondence for Tori☆11Updated 6 years ago
- ☆11Updated last year
- Formalisation of the Kelley-Meka bound on Roth numbers☆18Updated last week
- 💧 Liquid Tensor Experiment☆189Updated last year
- All the math/tex files for the Automorphic Project☆18Updated 9 months ago
- ☆27Updated 3 years ago
- Lean 4 tutorial files☆35Updated 10 months ago
- Alternative Mizar proof checker (http://mizar.org/) written in Rust☆51Updated 7 months ago
- A formalized proof of Carleson's theorem in Lean☆48Updated this week
- Catalog Of Math Problems Formalized In Lean☆139Updated this week
- lecture notes for Analytic Geometry course☆11Updated 3 years ago
- ☆10Updated this week
- The matrix cookbook, proved in the Lean theorem prover☆100Updated 3 months ago
- Lean for the Curious Mathematician 2020☆66Updated last year
- Python talking to the Lean theorem prover☆42Updated 3 years ago
- ☆10Updated 3 years ago
- Formalization of the existence of sphere eversions☆39Updated last week
- 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
- Interfacing with Large Language Models (remote and local) from Lean.☆25Updated 7 months ago
- ☆18Updated last month
- Template for blueprint-driven formalization projects in Lean.☆44Updated last week
- Lean-independent implementation of the MM-Lean link☆29Updated 2 years ago
- plasTeX plugin to build formalization blueprints.☆187Updated 2 weeks ago
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆145Updated this week
- Very controlled natural language tactics for Lean☆62Updated last year
- Bonn Lean course for winter 24/25☆23Updated 2 months ago
- Fermat's Last Theorem for regular primes☆52Updated this week
- A formal proof of the independence of the continuum hypothesis☆122Updated 6 months ago
- Visual Studio Code extension for the Lean 4 proof assistant☆196Updated this week