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.

Name		Name	Last commit message	Last commit date
Latest commit History 77 Commits
Automata Library		Automata Library
Command Files		Command Files
Custom Bases		Custom Bases
Documentation		Documentation
Macro Library		Macro Library
Morphism Library		Morphism Library
Result		Result
Test Results		Test Results
Word Automata Library		Word Automata Library
bin		bin
src		src
.DS_Store		.DS_Store
.classpath		.classpath
.gitignore		.gitignore
.project		.project
COPYING.txt		COPYING.txt
LICENSE		LICENSE
Manual.pdf		Manual.pdf
README.md		README.md
build.sh		build.sh

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Repository files navigation

Walnut

About

Releases

Packages

Contributors

Languages

Folders and files

Latest commit

History

Repository files navigation

Walnut

About

Resources

Stars

Watchers

Forks

Releases

Packages

Contributors

Languages