@misc{indiciaec179d2de7eeb,
  title = {Monoid Theory in Alonzo: A Little Theories Formalization in Simple Type Theory},
  author = {William M. Farmer and Dennis Y. Zvigelsky},
  year = {2025},
  url = {https://arxiv.org/abs/2312.05658},
  note = {Source identifier: 2312.05658}
}