Haskell's Show-Class in Isabelle/HOL.

Christian Sternagel René Thiemann

Published in: Arch. Formal Proofs (2014)

Keyphrases

theorem prover
natural deduction
theorem proving
inference rules
data sets
databases
artificial intelligence
software engineering
belief revision