Hets - the Heterogeneous Tool Set

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



This is a hets extension to mmt, see https://uniformal.github.io/doc/tutorials/prototyping/. This extension is/will be used to pattern check the twelf files for hets.

hets-mmt-standalone.jar - a standalone package that can be invoked with "java -jar hets-mmt-standalone.jar" command