☆29Jul 22, 2025Updated 8 months ago
Alternatives and similar repositories for REAL-Prover
Users that are interested in REAL-Prover are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Neural theorem proving toolkit: data extraction tools for Lean 4☆36Feb 21, 2026Updated last month
- Repository hosting the resources for the conference "ItaLean 2025", held in Bologna, Italy, December 9–12, 2025.☆22Feb 6, 2026Updated last month
- ☆19Jan 20, 2025Updated last year
- Kimina Lean server (+ client SDK)☆187Jan 11, 2026Updated 2 months ago
- A Machine-to-Machine Interaction System for Lean 4.☆136Feb 24, 2026Updated last month
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆59Dec 1, 2025Updated 3 months ago
- A "code intepreter" for Lean☆83Jan 16, 2026Updated 2 months ago
- A static analysis tool for Lean 4.☆114Mar 14, 2026Updated last week
- NeqLIPS: a powerful Olympiad-level inequality prover☆40Sep 7, 2025Updated 6 months ago
- ☆23Feb 3, 2026Updated last month
- ImProver: Agent-Based Automated Proof Optimization☆41Jan 18, 2026Updated 2 months ago
- A Lean4 script for robustly verifying submitted proofs of theorems and implementations of functions☆42Mar 10, 2026Updated 2 weeks ago
- Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving☆39Dec 12, 2022Updated 3 years ago
- The official implementation of "Self-play LLM Theorem Provers with Iterative Conjecturing and Proving"☆117Mar 28, 2025Updated 11 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆33Jun 15, 2025Updated 9 months ago
- Tool to analyse the import structure of lean projects.☆19Mar 10, 2026Updated 2 weeks ago
- LeanInteract: A Python Interface for Lean 4☆110Feb 22, 2026Updated last month
- Exploration of primes, factorization and number theory through haskell☆10Oct 10, 2016Updated 9 years ago
- LeanHammer is an automated reasoning tool for Lean that brings together multiple proof search and reconstruction techniques and combines …☆84Mar 17, 2026Updated last week
- ☆36Jan 10, 2025Updated last year
- AST export from Lean 4☆17Jul 25, 2024Updated last year
- Lean for Scientists and Engineers, course taught in Summer 2024☆27Jan 6, 2025Updated last year
- Code for the paper: Proving Theorems Recursively☆12May 23, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.☆71Jan 22, 2026Updated 2 months ago
- This is the official implementation for MA-LoT.☆19Aug 4, 2025Updated 7 months ago
- ☆157Aug 27, 2025Updated 6 months ago
- Making Google Deepmind's AlphaGeometry accessible to the Masses☆62Jan 9, 2025Updated last year
- An example that demonstrates how to write Python libraries in OCaml using pyml and pythonlib.☆16Feb 15, 2023Updated 3 years ago
- Blockchain Technology for the Working Mathematician☆24Jun 23, 2017Updated 8 years ago
- Experiments on automation for Lean☆164Feb 19, 2026Updated last month
- ☆72Sep 30, 2023Updated 2 years ago
- List of awesome works that use AI for mathematical discoveries.☆33Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Unofficial Python API client library for Charles Schwab. This library allows for easy access of the Standard API and allows users to buil…☆12May 13, 2024Updated last year
- An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.☆219Feb 22, 2026Updated last month
- LeanDojo-v2 is an end-to-end framework for training, evaluating, and deploying AI-assisted theorem provers for Lean 4.☆56Mar 10, 2026Updated 2 weeks ago
- Automatic theorem proving via natural language reasoning with LLMs☆22May 16, 2025Updated 10 months ago
- This is the code repository for 7FNCE025W High Frequency Trading.☆10Apr 12, 2023Updated 2 years ago
- The is the official implementation of "Lyra: Orchestrating Dual Correction in Automated Theorem Proving"☆15Jul 2, 2024Updated last year
- Algorithmic and high-frequency trading book☆20Aug 5, 2020Updated 5 years ago