Release 0.6 is a intermediate release. Very much new stuff has been added and should work fine, however, the documentation of many new features is still lacking.
E is an equational theorem prover.
CLIB is a collection of library functions for building one class of interesting and cool programs. At the moment CLIB is more suited for theorem provers and similar programs, and less useful for games. Lower levels take care of the scientifically uninteresting, but necessary services for production-quality efficient programs, e.g. error handling, memory management, parsing of input, etc. Higher level modules implement shared and unshared terms, equations, clauses and related stuff. My aim in writing this library is to ease the development of E and a couple of auxiliary programs.