@inproceedings{Desharnais22,
TITLE = {Seventeen Provers Under the Hammer},
AUTHOR = {Desharnais, Martin and Vukmirovi{\'c}, Petar and Blanchette, Jasmin and Wenzel, Makarius},
LANGUAGE = {eng},
ISBN = {978-3-95977-252-5},
URL = {urn:nbn:de:0030-drops-167178},
DOI = {10.4230/LIPIcs.ITP.2022.8},
PUBLISHER = {Schloss Dagstuhl},
YEAR = {2022},
BOOKTITLE = {13th International Conference on Interactive Theorem Proving (ITP 2022)},
EDITOR = {Andronick, June and de Moura, Leonardo},
PAGES = {118--87},
EID = {8},
SERIES = {Leibniz International Proceedings in Informatics},
VOLUME = {237},
ADDRESS = {Haifa, Israel},
}