Login / Signup

System description: Isabelle/jEdit in 2014.

Makarius Wenzel
Published in: UITP (2014)
Keyphrases
  • theorem prover
  • decision making
  • high level