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 11 months ago
- ProofNet dataset ported into Lean 4☆29Jun 9, 2025Updated 8 months ago
- A Lean 4 package for heavy numerical computations☆20Jan 16, 2022Updated 4 years ago
- COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.☆71Jan 22, 2026Updated last month
- 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
- The FATE (Formal Algebra Theorem Evaluation) benchmarks.☆42Feb 23, 2026Updated last week
- ☆20May 30, 2024Updated last year
- ☆35Jan 10, 2025Updated last year
- Formal to Formal Mathematics Benchmark☆417Aug 16, 2023Updated 2 years ago
- A fast and certifying solver for quantified Boolean formulas.☆26Apr 29, 2025Updated 10 months ago
- Classic MCTS example with mctx☆24May 25, 2023Updated 2 years ago
- The official repository for the paper Multilingual Mathematical Autoformalization☆38May 20, 2024Updated last year
- ☆26Jul 16, 2025Updated 7 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
- Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving☆39Dec 12, 2022Updated 3 years ago
- Integrating Symbolic Programming and Neuromorphic Modeling for Edge Labs with NVIDIA Jetson, DGX Spark, and GPU-based DNN/ML Systems☆15Feb 24, 2026Updated last week
- 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.☆148Nov 11, 2023Updated 2 years ago
- Control Logic Synthesis: Drawing the Rest of the OWL☆13Jun 17, 2024Updated last year
- work in progress, playing around with btor2 in rust☆12Feb 24, 2026Updated last week
- ☆11Jul 1, 2025Updated 8 months ago
- Learning Algebraic Representation for Systematic Generalization in Abstract Reasoning☆11Jul 20, 2022Updated 3 years ago
- Synthesiser for Asynchronous Verilog Language☆20Oct 29, 2014Updated 11 years ago
- Tools for manipulating CHC and related files☆15Apr 21, 2023Updated 2 years ago
- CaDiCaL + neural glue variable predictions☆10Oct 21, 2020Updated 5 years ago
- A fork of Yosys that integrates the CellIFT pass☆13Jul 23, 2025Updated 7 months ago
- Proof artifact co-training for Lean☆44Dec 29, 2022Updated 3 years ago
- A Machine-to-Machine Interaction System for Lean 4.☆133Feb 24, 2026Updated last week
- ☆23Feb 3, 2026Updated last month
- ☆10Oct 15, 2021Updated 4 years ago
- Code for the paper: Proving Theorems Recursively☆12May 23, 2024Updated last year
- ☆19Apr 5, 2025Updated 11 months ago
- AI for Mathematics Paper List☆17Jan 14, 2025Updated last year
- Unified Maude model-checking tool☆13Feb 4, 2026Updated last month
- The Basil pipeline for concurrent information flow analysis in AArch64 binaries.☆17Updated this week
- CUDA program to find the tallest possible cacti in Minecraft.☆10Jan 1, 2024Updated 2 years ago