Skip to content
forked from hamousavi/Walnut

Automated Theorem Prover for Automatic Words

License

GPL-3.0, GPL-3.0 licenses found

Licenses found

GPL-3.0
LICENSE
GPL-3.0
COPYING.txt
Notifications You must be signed in to change notification settings

arajasek/Walnut

 
 

Repository files navigation

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.

About

Automated Theorem Prover for Automatic Words

Resources

License

GPL-3.0, GPL-3.0 licenses found

Licenses found

GPL-3.0
LICENSE
GPL-3.0
COPYING.txt

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Java 100.0%