Seventeen provers under the hammer

DOI10.4230/lipics.itp.2022.8MaRDI QIDQ6572540

Petar Vukmirović, Jasmin Christian Blanchette, Martin Desharnais, Makarius Wenzel

Publication date: 15 July 2024

zbMATH Keywords

automatic theorem provingproof assistantsinteractive theorem proving

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Seventeen provers under the hammer