Section: New Software and Platforms

HOT

Higher-Order Termination

Functional Description: HOT is an automated termination prover for higher-order rewriting, based on the notion of computability closure.

• Contact: Frédéric Blanqui

• URL: http://rewriting.gforge.inria.fr/hot.html