Hets - the Heterogeneous Tool Set

Copyright(c) University of Cambridge, Cambridge, England adaption (c) Till Mossakowski, Uni Bremen 2002-2005
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

Isabelle.IsaProve

Description

Interface for Isabelle theorem prover. Interface between Isabelle and Hets: Hets writes Isabelle .thy file and starts Isabelle User extends .thy file with proofs User finishes Isabelle Hets reads in created *.deps files

Documentation