Seventeen provers under the hammer

DOI10.4230/LIPICS.ITP.2022.8MaRDI QIDQ6572540FDOQ6572540

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

Publication date: 15 July 2024

zbMATH Keywords

automatic theorem provinginteractive theorem provingproof assistants

Mathematics Subject Classification ID

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

Cited In (3)

• Solving hard Mizar problems with instantiation and strategy invention
• ALASCA: reasoning in quantified linear arithmetic
• Extending a high-performance prover to higher-order logic

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6572540)