DefunT: A Tool for Automating Termination Proofs by Using the Community Books (Extended Abstract)
We present a tool that automates termination proofs for recursive definitions by mining existing termination theorems.
READ FULL TEXTWe present a tool that automates termination proofs for recursive definitions by mining existing termination theorems.
READ FULL TEXT