TY  - RPRT
TI  - Pecan: An Automated Theorem Prover for Automatic Sequences using Büchi Automata
AU  - Reed Oei
AU  - Dun Ma
AU  - Christian Schulz
AU  - Philipp Hieronymi
PY  - 2021
UR  - https://arxiv.org/abs/2102.01727
ID  - 2102.01727
ER  -