http://cl-informatik.uibk.ac.at/users/hzankl
This is an unofficial reimagining of the Archive of Formal Proofs
Decreasing Diagramsby Harald Zankl