☆12Mar 31, 2024Updated last year
Alternatives and similar repositories for Walnut
Users that are interested in Walnut are comparing it to the libraries listed below
Sorting:
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆12Mar 15, 2021Updated 4 years ago
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 3 years ago
- FPsolve: solver for polynomial equations over omega-continuous semirings☆11Aug 15, 2015Updated 10 years ago
- A Tool for Intersecting Context-Free Grammars☆10Dec 19, 2017Updated 8 years ago
- ☆16Jul 10, 2023Updated 2 years ago
- different AI algorithms to solve board games☆19Nov 4, 2018Updated 7 years ago
- An automated theorem prover that uses Büchi automata.☆44Sep 22, 2021Updated 4 years ago
- Official implementation of "Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving"☆29May 8, 2025Updated 9 months ago
- ☆20Jun 12, 2023Updated 2 years ago
- Online BDD Simulation Tool☆25Jul 29, 2025Updated 7 months ago
- Methods for accelerating and proving theorems about 5-state Busy Beaver candidates☆20Oct 29, 2021Updated 4 years ago
- Some examples of Lean projects, for undergraduate mathematicians.☆23Jun 7, 2021Updated 4 years ago
- The Termination Problem Database☆29Aug 20, 2025Updated 6 months ago
- DeepLogic: Towards End-to-End Differentiable Logical Reasoning☆25Jul 7, 2020Updated 5 years ago
- ☆30Sep 8, 2023Updated 2 years ago
- Mathematical proofs of the bbchallenge project.☆24Sep 1, 2025Updated 6 months ago
- Implementation of higher-order logic in Python☆67Feb 25, 2023Updated 3 years ago
- Lean package for "How To Prove It with Lean", a companion to the book "How To Prove It"☆36Dec 20, 2025Updated 2 months ago
- Julia code for an upper level undergraduate macroeconomics course.☆10May 18, 2022Updated 3 years ago
- A program for making zooming slides in figma.☆41Jul 1, 2025Updated 8 months ago
- A Quick Research of Active Automata Learning☆32Mar 13, 2020Updated 5 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Feb 2, 2026Updated 3 weeks ago
- HDLBits-Solutions☆10May 27, 2022Updated 3 years ago
- VATA Tree Automata Library☆34Feb 3, 2026Updated 3 weeks ago
- ☆12Feb 18, 2024Updated 2 years ago
- This repository contains the Parasol processor, which enables next-generation privacy preserving applications. Users can run arbitrary co…☆11Updated this week
- Unnoficial solutions (still under construction) to Nielsen and Chuang's "Quantum Computation and Quantum Information" - 10th anniversary …☆19Feb 11, 2026Updated 2 weeks ago
- ☆38May 31, 2023Updated 2 years ago
- Python talking to the Lean theorem prover☆46Aug 25, 2021Updated 4 years ago
- Generalized Optimal Transport Attention with Trainable Priors☆22Jan 25, 2026Updated last month
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- ☆13Jul 8, 2024Updated last year
- ☆10Oct 11, 2022Updated 3 years ago
- Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving☆39Dec 12, 2022Updated 3 years ago
- Machine Learning for Mathematical Formalization☆11Jul 20, 2024Updated last year
- ☆11Sep 15, 2025Updated 5 months ago
- ☆11Oct 31, 2021Updated 4 years ago
- Репозиторий для лабораторных и просто работ по программе обучения на кафедре ИУ9☆12Nov 15, 2025Updated 3 months ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago