Login / Signup

HOL Constant Definition Done Right.

Rob Arthan
Published in: ITP (2014)
Keyphrases
  • formal methods
  • website
  • high level
  • natural deduction
  • alphabet size