IsaFoR/CeTA
CeTA is a tool developed at the University of Innsbruck that certifies termination of programs and other proofs provided by some automated tool.
Only a small part of CeTA was developed by me. This website with supporting material for a paper presented at CADE describes that best.