@Inproceedings{BH26,
    Author       = "Bodingbauer, J. and Hajdu, M.",
    Year         = "2026",
    Title        = "{Lean on Vampire Proofs}",
    Editor       = "Komendantskaya, E.",
    BookTitle    = "{Proceedings of the 17th Conference on Interactive Theorem Proving}",
    Place        = "Lisbon, Portugal",
    Pages        = "To appear",
    Publisher    = "Leibniz International Proceedings in Informatics",
    Comment      = ""
}