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