Walnut icon indicating copy to clipboard operation
Walnut copied to clipboard

Published 20 hours ago • verified publisher icon hamousavi
→

Metadata

Automated Theorem Prover for Automatic Words

Results 3 Walnut issues
Sort by recently updated
recently updated
newest added

Remove macOS DS_Store files

Thanks for this software. This PR removes 23 .DS_Store files that macOS generates and should not be part of any source code distribution. It also adds .DS_Store to the git-ignore...

MartinMSPedersen avatar MartinMSPedersen

Windows build script

Build script for Windows batch, for those with a Windows system who are too lazy to install cygwin

Whirligig231 avatar Whirligig231

Failing to load files from Word Automata Library

If the Main.prover class is run from a directory that is not Walnut/bin, i.e., the program is run using `java -cp /pathToWalnut/bin Main.prover` from a directory that is not Walnut/bin,...

FinnLidbetter avatar FinnLidbetter

← Metadata

19
Stars
7
Forks
Watchers

Owner

verified publisher icon hamousavi

Metadata

Automated Theorem Prover for Automatic Words

Back