Comprehending Isabelle/HOL's Consistency.

Ondrej Kuncar Andrei Popescu

Published in: ESOP (2017)

Keyphrases

theorem prover
natural deduction
theorem proving
inference rules
first order logic
higher order logic
consistency checking
databases
data sets
neural network
machine learning
data structure
constraint networks
sequent calculus
cut elimination
maintaining consistency