arajasek / Walnut

Automated Theorem Prover for Automatic Words

Github PK Tool:Github PK Tool

Repository from Github https://github.com/arajasek/WalnutRepository from Github https://github.com/arajasek/Walnut

Walnut's ContributorsDecJanFebMarAprMayJunJulAugSepOctNovSunMonTueWedThuFriSat

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

License:GNU General Public License v3.0


Languages

Language:Java 100.0%