Smart Induction for Isabelle/HOL (Tool Paper).

Yutaka Nagashima

Published in: FMCAD (2020)

Keyphrases

theorem prover
natural deduction
proof search
databases
case study
software tools
data mining
website
data structure
domain knowledge
higher order
inductive learning
inference rules
formal methods
higher order logic