@misc{indiciaedd222c507099,
  title = {Alethe: Towards a Generic SMT Proof Format (extended abstract)},
  author = {Hans-Jörg Schurr and Mathias Fleury and Haniel Barbosa and Pascal Fontaine},
  year = {2021},
  doi = {10.4204/eptcs.336.6},
  url = {https://arxiv.org/abs/2107.02354},
  note = {Source identifier: 2107.02354}
}