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

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.

← Metadata

19
Stars
7
Forks
Watchers

Owner

verified publisher icon hamousavi

Metadata

Automated Theorem Prover for Automatic Words

Back