@misc{indiciaea20ff537e475,
  title = {On free abelian categories for theorem proving},
  author = {Sebastian Posur},
  year = {2021},
  url = {https://arxiv.org/abs/2103.08379},
  note = {Source identifier: 2103.08379}
}