Tools:IsaFoR
From Termination-Portal.org
Jump to navigationJump to search
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
