@Inproceedings{EPTCS336.6, author = {Schurr, Hans-J\"org and Fleury, Mathias and Barbosa, Haniel and Fontaine, Pascal}, year = {2021}, title = {Alethe: Towards a Generic SMT Proof Format (extended abstract)}, editor = {Keller, Chantal and Fleury, Mathias}, booktitle = {{\rm Proceedings Seventh Workshop on} Proof eXchange for Theorem Proving, {\rm Pittsburg, USA, 11th July 2021}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {336}, publisher = {Open Publishing Association}, pages = {49-54}, doi = {10.4204/EPTCS.336.6}, }