%0 Conference Paper %1 journals/corr/abs-2107-02354 %A Schurr, Hans-Jörg %A Fleury, Mathias %A Barbosa, Haniel %A Fontaine, Pascal %B PxTP %D 2021 %E Keller, Chantal %E Fleury, Mathias %K dblp %P 49-54 %T Alethe: Towards a Generic SMT Proof Format (extended abstract). %U http://dblp.uni-trier.de/db/series/eptcs/eptcs336.html#abs-2107-02354 %V 336

@inproceedings{journals/corr/abs-2107-02354, added-at = {2024-05-07T00:00:00.000+0200}, author = {Schurr, Hans-Jörg and Fleury, Mathias and Barbosa, Haniel and Fontaine, Pascal}, biburl = {https://www.bibsonomy.org/bibtex/2d3c6666651f7e5891c1ffed97959a19f/dblp}, booktitle = {PxTP}, crossref = {journals/corr/abs-2107-01544}, editor = {Keller, Chantal and Fleury, Mathias}, ee = {https://arxiv.org/abs/2107.02354}, interhash = {6b48a75428226d1ebc2dd14945f32e1a}, intrahash = {d3c6666651f7e5891c1ffed97959a19f}, keywords = {dblp}, pages = {49-54}, series = {EPTCS}, timestamp = {2024-05-13T08:17:55.000+0200}, title = {Alethe: Towards a Generic SMT Proof Format (extended abstract).}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs336.html#abs-2107-02354}, volume = 336, year = 2021 }