How to use a hets binary?

Just download the binary and put it somewhere in the $PATH.

Our current linux binaries also rely on gtk-2 and glade-2 libraries
for more and better menus. Thus you may need to install additional libraries.
Use ldd (or "otools -L hets" on Macs) to see which libraries are missing.)

For displaying development graphs (with the -g option), you need
to install
uDraw(Graph)
(formerly known as daVinci) that relies
on Tcl/Tk (version 8.4 or 8.5)
(which probably has been already installed on your computer anyway).
Make sure uDrawGraph and wish are in your $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)