Walnut
March 18, 2016 ยท View on GitHub
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.
March 18, 2016 ยท View on GitHub
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.