DefunT: A Tool for Automating Termination Proofs by Using the Community Books (Extended Abstract)

10/10/2018

∙

by   Matt Kaufmann, et al.

∙

0

∙

share

We present a tool that automates termination proofs for recursive definitions by mining existing termination theorems.