Asynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit.

Makarius Wenzel

Published in: Electron. Notes Theor. Comput. Sci. (2012)

Keyphrases

theorem prover
natural deduction
theorem proving
first order logic
inference rules
cut elimination
real time
proof search
sequent calculus
database systems
information processing
database
data sets
mathematical proofs
data processing
knowledge representation
xml documents
search engine
real world