Documentation
- A small video showing a heterogeneous proof
- A new video (H.264-Codec) showing a heterogeneous proof
- Hets user guide
- Hets user guide for Common Logic users
- A mailing list for Hets users
- short paper introducing Hets: The Heterogeneous Tool Set by Till Mossakowski, Christian Maeder, Klaus Lüttich and Stefan Wölfl
- detailed thesis about Hets: Heterogeneous specification and the heterogeneous tool set by Till Mossakowski
- Quick start: Hets is called with
hets filename
or
hets -g filenameFor entering the command line mode, just call
hets -I
For a short description of the options, call
hets --help
- To support writing CASL specifications we have an emacs mode
- With the option "-o pp.tex" hets can produce nice LaTeX output from your specifictions that can be embedded in your publications using the hetcasl.sty style file