This is your work, valued

Walnut Theorem Prover

Advanced
@Walnut-Theorem-Prover

Automatic Theorem Prover for Automatic Words