@misc{indiciae30ab706a2054,
  title = {Birkhoff's Completeness Theorem for Multi-Sorted Algebras Formalized in Agda},
  author = {Andreas Abel},
  year = {2021},
  url = {https://arxiv.org/abs/2111.07936},
  note = {Source identifier: 2111.07936}
}