201 citations · 1.5k across the 125 of their papers we have counts for
1 paper · 2 filters
T. Walsh
Inductive theorem provers often diverge. This paper describes a simple critic, a computer program which monitors the construction of inductive proofs attempting to identify divergi…