Formal Lean proof of OpenAI's 2026 counterexample to the Erdős unit distance conjecture
☆22Jun 27, 2026Updated 3 months ago
Alternatives and similar repositories for Erdos90
Users that are interested in Erdos90 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Formalisation of statements of recent theorems from the Annals of Mathematics.☆30Aug 13, 2026Updated 2 months ago
- ☆51Updated this week
- ☆22Sep 25, 2026Updated 3 weeks ago
- How to say it using Mathlib.☆21Oct 13, 2026Updated last week
- Plain-text declaration export for Lean 4☆46Oct 14, 2026Updated last week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆15Mar 25, 2026Updated 6 months ago
- Setup for autograding of Lean homework using GitHub Classroom☆11Feb 11, 2022Updated 4 years ago
- ☆39Sep 27, 2026Updated 3 weeks ago
- Comparator-based Lean formal mathematics eval☆48Updated this week
- ☆31Sep 9, 2026Updated last month
- Try a tactic at each step in a Lean proof.☆39Oct 13, 2026Updated last week
- Claude/Codex skill and local workflow layer for efficient interaction with Lean 4 and Monte-Carlo Tree Search.☆41Updated this week
- Lean formalizations for the paper "ABC implies that Ramanujan's Tau function misses almost all primes"☆12Sep 11, 2026Updated last month
- ☆17Dec 3, 2023Updated 2 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- An AIs-welcome Lean library downstream of Mathlib: AI handle the implementation and review, humans write the roadmaps and review rubrics☆241Updated this week
- ☆23Dec 3, 2025Updated 10 months ago
- Source for the community blog☆11Updated this week
- ☆19Jan 20, 2025Updated last year
- Leaff is a diff tool for Lean environments☆25Jan 18, 2025Updated last year
- Distributed, objective-led control plane for Lean 4 formalization projects.☆36Oct 9, 2026Updated last week
- Proétale cohomology in Lean☆16Sep 29, 2026Updated 3 weeks ago
- Tool to analyse the import structure of lean projects.☆28Oct 14, 2026Updated last week
- Running Aristotle from Harmonic on Putnam 2025 problems☆15Dec 10, 2025Updated 10 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".☆19Jul 4, 2021Updated 5 years ago
- A platform for formalizing OEIS sequences in Lean 4☆21Jun 10, 2026Updated 4 months ago
- A Lean 4 representation of the Rubik's Cube, some proofs about the representation, and a simple solution algorithm.☆12Aug 7, 2026Updated 2 months ago
- ☆10Apr 19, 2026Updated 6 months ago
- Some Cryptids and Lean proofs☆58Updated this week
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆17Oct 11, 2026Updated last week
- ☆82Jul 25, 2026Updated 2 months ago
- A formalization of the resolution of the Hopf problem: the six-sphere admits a complex manifold structure compatible with its standard to…☆86Aug 30, 2026Updated last month
- OpenConjecture, a dataset of mathematics conjectures pulled from papers published to the ArXiv☆19Jul 12, 2026Updated 3 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆245Oct 14, 2026Updated last week
- Matroids in Lean☆19Dec 23, 2023Updated 2 years ago
- Formalization of Statement of Local Langlands Correspondence for Tori☆12Dec 18, 2018Updated 7 years ago
- 15k open math problems, linked to their sources.☆28Jul 31, 2026Updated 2 months ago
- ☆18Jul 30, 2026Updated 2 months ago
- ☆15Oct 21, 2020Updated 6 years ago
- Power series arithmetic in Lean☆12Nov 22, 2025Updated 11 months ago