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.
Automated Theorem Prover for Automatic Words
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.
Automated Theorem Prover for Automatic Words
GNU General Public License v3.0