An Isabelle/HOL Formalization of Rewriting
for Certified Tool Assertions
Overview
Developers
Input Format
Related Work
Versions
Experiments
TermFun
Other Termination Proof Certifiers
A3PAT (CiME + Coccinelle)
CoLoR + Rainbow
An
overview of termination tools
is provided on the
termination portal
.