{title}Hets: download and installation{/title} {author}maeder{/author} {text}

Try out Hets, using the Web-based interface

The Hets license (English German) is GPL. See at the end of this page how to obtain the sources.

Report a bug or see the list of known issues on our Hets development site.

The best way to use hets is under Ubuntu. Possibly run this OS in a virtual box.

A compressed (1.2G, uncompressed 4.2 G) virtual box image can be downloaded from here. username/password is ubuntu/reverse.

Hets under Ubuntu Trusty Tahr (14.04)

For Ubuntu Saucy (13.10) replace "trusty" in the command above.

Hets Images for Mac OS X 10.9 (Mavericks)

Hets binaries are available here:

(these are usually not needed but may replace the binaries from above)

How to use a hets binary?

Just download the binary and put it somewhere in the $PATH. Download the CASL libraries and set $HETS_LIB to the folder containing these.

How to install software needed for theorem proving with Hets? (only needed when working with the binaries)

Obtaining the Hets sources

Hets is written in Haskell. You can obtain the Hets sources from the git repository with:
git clone https://github.com/spechub/Hets