Follow
Pecan: An Automated Theorem Prover for Automatic Sequences using B\"uchi Automata. (arXiv:2102.01727v1 [cs.LO]) http://arxiv.org/abs/2102.01727
Pecan: An Automated Theorem Prover for Automatic Sequences using B\"uchi Automata. (arXiv:2102.01727v1 [cs.LO]) http://arxiv.org/abs/2102.01727