@bibtex{          2102.01727,
  Author        = "Oei, Reed and Ma, Dun and Schulz, Christian and Hieronymi, Philipp",
  Abstract      = "Pecan is an automated theorem prover for reasoning about properties of Sturmian words, an important object in the field of combinatorics on words. It is capable of efficiently proving non-trivial mathematical theorems about all Sturmian words.",
  comments      = "Working draft",
  date-added    = "2021-03-10 15:56:16 +0100",
  date-modified = "2021-03-10 15:56:16 +0100",
  EPrint        = "arXiv:2102.01727",
  EPrintType    = "arXiv",
  Title         = {{P}ecan: {A}n {A}utomated {T}heorem {P}rover for {A}utomatic {S}equences using {B}\"uchi {A}utomata},
  URL           = "http://arxiv.org/abs/2102.01727",
  Year          = "2021",
  bdsk-url-1    = "http://arxiv.org/abs/2102.01727",
  File          = "2102.01727 - o.pdf"
}

@bibtex{ 2102.01727, Author = "Oei, Reed and Ma, Dun and Schulz, Christian and Hieronymi, Philipp", Abstract = "Pecan is an automated theorem prover for reasoning about properties of Sturmian words, an important object in the field of combinatorics on words. It is capable of efficiently proving non-trivial mathematical theorems about all Sturmian words.", comments = "Working draft", date-added = "2021-03-10 15:56:16 +0100", date-modified = "2021-03-10 15:56:16 +0100", EPrint = "arXiv:2102.01727", EPrintType = "arXiv", Title = {{P}ecan: {A}n {A}utomated {T}heorem {P}rover for {A}utomatic {S}equences using {B}\"uchi {A}utomata}, URL = "http://arxiv.org/abs/2102.01727", Year = "2021", bdsk-url-1 = "http://arxiv.org/abs/2102.01727", File = "2102.01727 - o.pdf" }