Walnut Automated Theorem Prover for Automatic Words Please read the pdf file, included in the repository, to learn what Walnut is and how one would work with it.