Seventeen Provers Under the Hammer.

Martin Desharnais Petar Vukmirovic Jasmin Blanchette Makarius Wenzel

Published in: ITP (2022)

Keyphrases

theorem prover
theorem proving
proof search
genetic algorithm
desirable properties
general purpose
logic programs
fixed point
temporal reasoning