gpoesia / peanoView external linksLinks
An environment for learning formal mathematical reasoning from scratch
☆72Aug 18, 2024Updated last year
Alternatives and similar repositories for peano
Users that are interested in peano are comparing it to the libraries listed below
Sorting:
- Certified Reasoning with Language Models☆31Dec 6, 2023Updated 2 years ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Mar 27, 2025Updated 10 months ago
- ProofNet dataset ported into Lean 4☆29Jun 9, 2025Updated 8 months ago
- ☆25Aug 23, 2024Updated last year
- A Lean 4 package for heavy numerical computations☆19Jan 16, 2022Updated 4 years ago
- Metamath in C++☆14Jun 4, 2019Updated 6 years ago
- COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.☆70Jan 22, 2026Updated 3 weeks ago
- Automated Controller Synthesis☆15Jun 27, 2018Updated 7 years ago
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆33Oct 30, 2020Updated 5 years ago
- ☆20May 30, 2024Updated last year
- The FATE (Formal Algebra Theorem Evaluation) benchmarks.☆41Sep 22, 2025Updated 4 months ago
- ☆35Jan 10, 2025Updated last year
- Formal to Formal Mathematics Benchmark☆415Aug 16, 2023Updated 2 years ago
- A fast and certifying solver for quantified Boolean formulas.☆26Apr 29, 2025Updated 9 months ago
- The official repository for the paper Multilingual Mathematical Autoformalization☆38May 20, 2024Updated last year
- ☆25Jul 16, 2025Updated 6 months ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- Integrating Symbolic Programming and Neuromorphic Modeling for Edge Labs with NVIDIA Jetson, DGX Spark, and GPU-based DNN/ML Systems☆15Jan 30, 2026Updated 2 weeks ago
- Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving☆39Dec 12, 2022Updated 3 years ago
- A copy of the latest version of MVSIS☆12Apr 18, 2021Updated 4 years ago
- Tons of Inductive Problems: The Benchmarks☆27Jul 5, 2023Updated 2 years ago
- llmstep: [L]LM proofstep suggestions in Lean 4.☆145Nov 11, 2023Updated 2 years ago
- CaDiCaL + neural glue variable predictions☆10Oct 21, 2020Updated 5 years ago
- Control Logic Synthesis: Drawing the Rest of the OWL☆13Jun 17, 2024Updated last year
- Tools for manipulating CHC and related files☆15Apr 21, 2023Updated 2 years ago
- Synthesiser for Asynchronous Verilog Language☆20Oct 29, 2014Updated 11 years ago
- Learning Algebraic Representation for Systematic Generalization in Abstract Reasoning☆11Jul 20, 2022Updated 3 years ago
- A fork of Yosys that integrates the CellIFT pass☆13Jul 23, 2025Updated 6 months ago
- ☆11Jul 1, 2025Updated 7 months ago
- work in progress, playing around with btor2 in rust☆12Feb 6, 2026Updated last week
- Proof artifact co-training for Lean☆44Dec 29, 2022Updated 3 years ago
- A Machine-to-Machine Interaction System for Lean 4.☆132Jan 15, 2026Updated 3 weeks ago
- ☆12Mar 27, 2024Updated last year
- Unified Maude model-checking tool☆13Feb 4, 2026Updated last week
- AI for Mathematics Paper List☆17Jan 14, 2025Updated last year
- Parallel SAT Solver☆10Jan 19, 2018Updated 8 years ago
- Code for the paper: Proving Theorems Recursively☆12May 23, 2024Updated last year
- ☆10Oct 15, 2021Updated 4 years ago
- ☆18Apr 5, 2025Updated 10 months ago