Automated Theorem Prover for Automatic Words - View it on GitHub