1 paper
Jonas Schöpf, Christian Sternagel
On the one hand, checking specific termination proofs by hand, say using a particular collection of matrix interpretations, can be an arduous and error-prone task. On the other han…