Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: New Software and Platforms


Keywords: Rewriting systems - Proof assistant - Termination

Functional Description: A termination-checker for higher-order rewriting with dependent types. Took part in the Termination Competition 2018 ( ) in the "Higher-Order Rewriting (union Beta)" category.