☆78Jun 28, 2026Updated 4 months ago
Alternatives and similar repositories for estimate_tools
Users that are interested in estimate_tools are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Code to automatically prove or verify estimates in analysis☆343Jun 24, 2026Updated 4 months ago
- ☆12Dec 25, 2023Updated 2 years ago
- Examples using MetaProgramming for writing tactics etc.☆19Nov 26, 2025Updated 11 months ago
- Project to verify the Guy-Selfridge conjectures☆31Jun 24, 2026Updated 4 months ago
- A formalized proof of Carleson's theorem in Lean☆114Updated this week
- 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.
- Lean formalizations of IMO problem statements☆36Apr 23, 2026Updated 6 months ago
- A verified tensor library in Lean☆50Sep 15, 2026Updated last month
- Web page for exponent pair database☆16Aug 5, 2024Updated 2 years ago
- ☆56Jun 15, 2026Updated 4 months ago
- Blueprint for the PNT+ Project☆351Oct 20, 2026Updated 2 weeks ago
- Exceptions to the ABC conjecture in Lean☆19Jan 26, 2026Updated 9 months ago
- A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8.☆108Updated this week
- High level Lean 4 FFI for Rust☆14Mar 16, 2024Updated 2 years ago
- Comparator-based Lean formal mathematics eval☆50Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆19Jan 20, 2025Updated last year
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆16Feb 15, 2025Updated last year
- A template for blueprint-driven formalization projects in Lean.☆119Oct 19, 2026Updated 2 weeks ago
- Lean formalization of a complex structure on the six-sphere☆17Oct 8, 2026Updated 3 weeks ago
- ☆96Nov 12, 2023Updated 2 years ago
- A Lean tactic for Canonical, a search procedure for terms in dependent type theory.☆141Oct 26, 2026Updated last week
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆246Updated this week
- A deprecated equality saturation tactic for Lean based on egg.☆87Oct 20, 2026Updated 2 weeks ago
- The Lean reference manual☆136Updated this week
- 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.
- Tools based on AI for helping with Lean 4☆125Aug 3, 2026Updated 3 months ago
- simple interactive web-based demo for socratic models; image captioning, auto tagging, keyword generation☆10Jul 26, 2022Updated 4 years ago
- Hand-written verified Lean solutions for the HumanEval benchmark☆33Mar 27, 2026Updated 7 months ago
- An introduction to theorem proving in Lean for the impatient.☆428Apr 17, 2026Updated 6 months ago
- Lennard Jones in Lean☆24Jul 14, 2025Updated last year
- ImProver: Agent-Based Automated Proof Optimization☆44Apr 18, 2026Updated 6 months ago
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆88Jul 26, 2026Updated 3 months ago
- Formalization of IMO shortlist problems in Lean 4☆27Oct 14, 2026Updated 3 weeks ago
- Implementation and subsequent optimization for "Reviving DSP for Advanced Theorem Proving in the Era of Reasoning Models"☆29Jun 16, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Lean documentation authoring tool☆405Updated this week
- Formalisation of the theory of real closed fields in Lean 4.☆15Oct 26, 2026Updated last week
- A project to map out the relations between different equational theories of Magmas.☆562Oct 26, 2026Updated last week
- ☆31Jul 16, 2025Updated last year
- Suggested conventions and examples for Lean formalization of IMO problem statements☆18Oct 11, 2026Updated 3 weeks ago
- Formalisation of the Kelley-Meka bound on Roth numbers☆31Oct 22, 2026Updated last week
- A search engine for Lean 4 declarations☆82Sep 29, 2026Updated last month