Login / Signup
Getting Started with Isabelle/jEdit
Christian Sternagel
Published in:
CoRR (2012)
Keyphrases
</>
theorem prover
table of contents
natural deduction
database
databases
inference rules
theorem proving