A New Foundation for Nominal Isabelle.

Brian Huffman Christian Urban

Published in: ITP (2010)

Keyphrases

theorem prover
natural deduction
database
computer vision
website
case study
domain knowledge
sufficient conditions