teorth / erdos-guy-selfridgeLinks
Project to verify the Guy-Selfridge conjectures
☆20Updated 3 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:
- ☆92Updated last year
- Exponent pair database☆61Updated last week
- Source code for the Mathematics in Lean tutorial.☆168Updated last month
- A community database for the problems on the erdosproblems.com site☆72Updated this week
- blueprint for prime number theorem and more☆189Updated last week
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆188Updated 3 weeks ago
- A template for blueprint-driven formalization projects in Lean.☆73Updated last week
- Visual Studio Code extension for the Lean 4 proof assistant☆227Updated this week
- Lean documentation authoring tool☆220Updated this week
- A formalized proof of Carleson's theorem in Lean☆68Updated 3 weeks ago
- Interfacing with Large Language Models (remote and local) from Lean.☆27Updated last year
- A simple REPL for Lean 4, returning information about errors and sorries.☆159Updated last week
- A formal consistency proof of Quine's set theory New Foundations☆73Updated 3 months ago
- (Mirror) A Machine-to-Machine Interaction System for Lean 4☆33Updated last week
- Theorem Proving in Lean 4☆206Updated 2 weeks ago
- Formalizing stochastic doubly-efficient debate☆109Updated 11 months ago
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆66Updated last month
- The matrix cookbook, proved in the Lean theorem prover☆119Updated last week
- An introduction to theorem proving in Lean for the impatient.☆258Updated last week
- Neural theorem proving toolkit: data extraction tools for Lean 4☆31Updated last week
- How to read Lean☆19Updated 7 months ago
- The standard template to create a lean game☆28Updated this week
- LLMs + Lean, on your laptop or in the cloud☆179Updated 2 months ago
- Formalisation of the Kelley-Meka bound on Roth numbers☆19Updated last month
- This project is about formally verifying Seymour's decomposition theorem for regular matroids.☆35Updated 2 weeks ago
- tool for turning Lean proofs into Blender animations☆75Updated last month
- SorryDB indexes sorries in public lean repositories☆31Updated this week
- Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…☆37Updated this week
- An updated version of miniF2F with lots of fixes and informal statements / solutions.☆91Updated 8 months ago
- Alternative Mizar proof checker (http://mizar.org/) written in Rust☆57Updated 2 months ago