From Termination-Portal.org

IsaFoR (Isabelle Formalization of Rewriting)

• developed at LFU Innsbruck, Austria
• home page: http://cl-informatik.uibk.ac.at/software/ceta/
• developers: Christian Sternagel and René Thiemann
• publication: Certification of Termination Proofs using CeTA