Walnut Theorem Prover

Automatic Theorem Prover for Automatic Words