Formalizing the metatheory of logical calculi and automatic provers in Isabelle/HOL (invited talk).

Jasmin Christian Blanchette

Published in: CPP (2019)

Keyphrases

higher order
theorem prover
invited talk
higher order logic
theorem proving
natural deduction
first order logic
selected papers
inference rules
knowledge discovery and data mining
proof search
data mining
recent advances
semi automatic
program committee