Deriving Comparators and Show Functions in Isabelle/HOL.

Christian Sternagel René Thiemann

Published in: ITP (2015)

Keyphrases

theorem prover
natural deduction
first order logic
data sets
theorem proving
decision making
database
real time
neural network
real world
machine learning
information retrieval
image sequences
preprocessing
formal methods