pGCL for Isabelle.

Published in: Arch. Formal Proofs (2014)

Keyphrases

theorem prover
natural deduction
general purpose
theorem proving
artificial intelligence
probabilistic inference
inference rules