Hets - the Heterogeneous Tool Set

Copyright(c) Otto-von-Guericke University of Magdeburg
LicenseGPLv2 or higher, see LICENSE.txt
Safe HaskellSafe

PGIP

Description

The PGIP folder contains a RESTful server interface for Hets. The name PGIP has been chosen for historic reasons (cf. the proof general interface for theorem provers).