A walnutWalnut

Automatic Theorem Prover for Automatic Words

News

March 27 2023

Walnut 5.4 is now available! It contains several new commands, including the ability to do transductions of automatic sequences, and fixes one obscure bug introduced in Walnut 3: namely, regular expressions with negative elements could under some rare circumstances be interpreted incorrectly. This version was modified by Anatoly Zavyalov. This version supersedes all previous versions.

It is available for free at https://github.com/firetto/Walnut, and the documentation is over at Professor Shallit homepage.

December 2 2022

The Walnut book is now available from Cambridge University Press. Get your copy today