swMATH ID: 30122
Software Authors: Hamoon Mousavi
Description: Automatic Theorem Proving in Walnut. 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.
Homepage: https://arxiv.org/abs/1603.06017
Related Software: OEIS; GitHub; Python; Coq; Isabelle/HOL; Lean; SPIN; Pecan; Grail; EERTREE
Referenced in: 34 Publications

Referencing Publications by Year