teorth / erdos-guy-selfridgeLinks
Project to verify the Guy-Selfridge conjectures
☆20Updated 2 months ago
Alternatives and similar repositories for erdos-guy-selfridge
Users that are interested in erdos-guy-selfridge are comparing it to the libraries listed below
Sorting:
- Exponent pair database☆62Updated 2 weeks ago
- ☆92Updated last year
- Lean documentation authoring tool☆210Updated this week
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆183Updated last week
- Source code for the Mathematics in Lean tutorial.☆165Updated last week
- Interfacing with Large Language Models (remote and local) from Lean.☆27Updated last year
- This project is about formally verifying Seymour's decomposition theorem for regular matroids.☆35Updated this week
- blueprint for prime number theorem and more☆181Updated this week
- (Mirror) A Machine-to-Machine Interaction System for Lean 4☆32Updated this week
- Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean☆59Updated last week
- plasTeX plugin to build formalization blueprints.☆235Updated 2 months ago
- Visual Studio Code extension for the Lean 4 proof assistant☆225Updated last week
- A formalized proof of Carleson's theorem in Lean☆67Updated this week
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆66Updated last month
- How to read Lean☆20Updated 7 months ago
- Tactics for discharging Lean goals into SMT solvers.☆218Updated this week
- A formal consistency proof of Quine's set theory New Foundations☆73Updated 2 months ago
- A "code intepreter" for Lean☆69Updated 3 weeks ago
- Formalizing stochastic doubly-efficient debate☆108Updated 10 months ago
- Catalog Of Math Problems Formalized In Lean☆191Updated this week
- An updated version of miniF2F with lots of fixes and informal statements / solutions.☆91Updated 7 months ago
- Try a tactic at each step in a Lean proof.☆29Updated 2 weeks ago
- An introduction to theorem proving in Lean for the impatient.☆240Updated this week
- The Lean 4 web editor☆105Updated this week
- Formalisation of the Kelley-Meka bound on Roth numbers☆19Updated last week
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆71Updated 7 months ago
- SorryDB indexes sorries in public lean repositories☆28Updated 2 weeks ago
- Canonical is a performant sound and complete type inhabitation solver for dependent type theory.☆68Updated 2 weeks ago
- Theorem Proving in Lean 4☆203Updated 3 weeks ago
- tool for turning Lean proofs into Blender animations☆74Updated last week