Automatic Theorem Proving in Walnut
Formal Languages and Automata Theory
2021-05-27 v2 Logic in Computer Science
Mathematical Software
Combinatorics
Abstract
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.
Cite
@article{arxiv.1603.06017,
title = {Automatic Theorem Proving in Walnut},
author = {Hamoon Mousavi},
journal= {arXiv preprint arXiv:1603.06017},
year = {2021}
}
Comments
Added a few more sections