Skip to content
Automated Theorem Prover for Automatic Words
Java
Branch: master
Clone or download
Pull request Compare This branch is 8 commits ahead of hamousavi:master.
Latest commit f27e02f Jun 28, 2019
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
Automata Library initial commit Mar 18, 2016
Command Files update fiboprops Jun 28, 2019
Custom Bases Add support for Pell number system. Dec 14, 2018
Documentation initial commit Mar 18, 2016
Macro Library Version 1.2 Aug 27, 2016
Result initial commit Mar 18, 2016
Test Results Version 1.2 Aug 27, 2016
Word Automata Library comments Jun 26, 2019
bin Version 1.2 Aug 27, 2016
src comments Jun 26, 2019
.DS_Store Version 1.2 Aug 27, 2016
.classpath Version 1.2 Aug 27, 2016
.gitignore comments Jun 26, 2019
.project Version 1.2 Aug 27, 2016
Automatic Theorem Proving in Walnut.pdf Version 1.2 Aug 27, 2016
COPYING.txt Version 1.1 Aug 23, 2016
LICENSE
README.md Update README.md Mar 18, 2016
build.sh add build.sh Oct 18, 2018

README.md

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.

You can’t perform that action at this time.