Certified HLints with Isabelle/HOLCF-Prelude.

Joachim Breitner Brian Huffman Neil Mitchell Christian Sternagel

Published in: CoRR (2013)

Keyphrases

theorem prover
natural deduction
software engineering
theorem proving
technical support
cut elimination