# Automatic Theorem Proving in Walnut

arXiv: https://arxiv.org/abs/1603.06017 · HTML: https://mlsanity.com/paper/1603.06017/

## Key facts

- Cited by 2 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 18 Mar 2016.

## Built on by (most cited first, 2 of 2)

- [A Framework for Quantum Finite-State Languages with Density Mapping](https://mlsanity.com/paper/2407.02776/) (2024)
- [Deconstructing Subset Construction -- Reducing While Determinizing](https://mlsanity.com/paper/2505.10319/) (2025)

## Abstract (arXiv)

Walnut is a software package that implements a mechanical decision procedure for deciding certain combinatorial properties of some special words referred to as automatic words or automatic sequences. Walnut is written in Java and is open source. It is licensed under GNU General Public License.