Skip to content

Latest commit

 

History

History
3 lines (3 loc) · 171 Bytes

README.md

File metadata and controls

3 lines (3 loc) · 171 Bytes

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.