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.
Repository navigation
forked from hamousavi/Walnut
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|