Jonas Bodingbauer, Márton Hajdú, Laura Kovács, Axel Polaczek, Michael Rawson 0001. Lean on Vampire Proofs (Short Paper). In Ekaterina Komendantskaya, Tobias Nipkow, editors, 17th International Conference on Interactive Theorem Proving, ITP 2026, Lisbon, Portugal, July 26-29, 2026. Volume 382 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026. [doi]
@inproceedings{BodingbauerHKPR26,
title = {Lean on Vampire Proofs (Short Paper)},
author = {Jonas Bodingbauer and Márton Hajdú and Laura Kovács and Axel Polaczek and Michael Rawson 0001},
year = {2026},
doi = {10.4230/LIPIcs.ITP.2026.36},
url = {https://doi.org/10.4230/LIPIcs.ITP.2026.36},
researchr = {https://researchr.org/publication/BodingbauerHKPR26},
cites = {0},
citedby = {0},
booktitle = {17th International Conference on Interactive Theorem Proving, ITP 2026, Lisbon, Portugal, July 26-29, 2026},
editor = {Ekaterina Komendantskaya and Tobias Nipkow},
volume = {382},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-436-9},
}