Tools:IsaFoR
IsaFoR (Isabelle Formalization of Rewriting)
- developed at LFU Innsbruck, Austria
- home page: https://isafor-ceta.uibk.ac.at/
- developers: https://isafor-ceta.uibk.ac.at/members.php
- publication: Certification of Termination Proofs using CeTA