LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expanding mathematical knowledge without forgetting previously learned knowledge.
☆59Jun 13, 2025Updated 9 months ago
Alternatives and similar repositories for LeanAgent
Users that are interested in LeanAgent are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Automated Theorem Prover inspired by Aletheia. Claude Code for mathematicians.☆55Updated this week
- A game introducing proofs, dependent type theory, and Lean prepared for a first year seminar course at Johns Hopkins in Fall 2025.☆56Dec 29, 2025Updated 2 months ago
- Artifact of the ICSE 2020 paper: "ReluDiff: Differential Verification of Deep Neural Networks"☆11Feb 1, 2022Updated 4 years ago
- A LALR(1) OpenQASM Parser and AST Generator.☆13Jul 29, 2024Updated last year
- Code from PLDI '21 paper "Provable Repair of Deep Neural Networks."☆10Nov 26, 2022Updated 3 years ago
- 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.
- Investigating Robustness and Interpretability of Link Prediction via Adversarial Modifications☆19Jul 20, 2020Updated 5 years ago
- ☆18Apr 26, 2025Updated 11 months ago
- Repository for the course Logical Verification 2019–2020 at VU Amsterdam☆13Dec 16, 2019Updated 6 years ago
- A Lean implementation of Interaction Trees☆14Jan 13, 2025Updated last year
- ☆12Dec 10, 2019Updated 6 years ago
- A collection of recent open-source math datasets for training and evaluating Math LLMs☆24Dec 8, 2025Updated 3 months ago
- Write LaTeX presentations directly from Lean4~☆24Dec 28, 2025Updated 2 months ago
- ☆14Feb 9, 2026Updated last month
- Unified Maude model-checking tool☆13Feb 4, 2026Updated last month
- 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.
- ☆16Jul 29, 2024Updated last year
- Open source platform for the privacy-preserving machine learning lifecycle☆17Aug 18, 2023Updated 2 years ago
- HUD for CI activity on `pytorch/pytorch`, provides a top level view for jobs to easily discern regressions☆13Feb 26, 2022Updated 4 years ago
- Lean 4 theorem proving skill and workflow pack for AI coding agents☆170Mar 19, 2026Updated last week
- ☆12Feb 4, 2024Updated 2 years ago
- An experimental implementation of compiler-driven automatic sharding of models across a given device mesh.☆55Updated this week
- A collection of tools for writing technical documents that mix Coq code and prose.☆288Mar 20, 2026Updated last week
- Homebrew formulas for installing LLM and related tools☆15Sep 6, 2023Updated 2 years ago
- List of the output of #help command of mathlib4, including list of all tactics, commands...etc☆24Updated this week
- 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.
- ☆11Oct 27, 2024Updated last year
- Python talking to the Lean theorem prover☆46Aug 25, 2021Updated 4 years ago
- ☆15Apr 16, 2021Updated 4 years ago
- A collection of code related to the HANSEI language☆10Jun 14, 2016Updated 9 years ago
- A Lean 4 formalization of Pólya enumeration theorem.☆21Jun 6, 2025Updated 9 months ago
- The Lean reference manual☆104Mar 19, 2026Updated last week
- Repository hosting the resources for the conference "ItaLean 2025", held in Bologna, Italy, December 9–12, 2025.☆22Feb 6, 2026Updated last month
- A curated list of awesome GitHub Blocks resources.☆19Nov 30, 2022Updated 3 years ago
- Sage Mode for F# development — REPL with solution or project loading, Live Testing for FREE, Hot Reload, and session management.☆51Updated 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.
- Tinker-FFE: Molecular Engineering GUI for Tinker☆11Feb 4, 2026Updated last month
- A suite of tools for text preparation, vectorization and processing for deep learning with Keras.☆13Jul 29, 2023Updated 2 years ago
- Python wrapper for lean-gym☆13Apr 5, 2023Updated 2 years ago
- This repository corresponds to the PICCO compiler for secure multi-party computation published in 2013 with more recent efficiency improv…☆12Mar 12, 2026Updated 2 weeks ago
- LLMs as Copilots for Theorem Proving in Lean☆1,248Feb 17, 2026Updated last month
- Tool for data extraction and interacting with Lean programmatically.☆782Jan 18, 2026Updated 2 months ago
- [ICML2025] Official codebase for "TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching"☆20Jul 14, 2025Updated 8 months ago