Open Airini opened 8 years ago
Handle the proof search to have the concrete recursion induction scheme (or lack thereof) and induction variables that succeed be identified at the end.
Handle the proof search to have the concrete recursion induction scheme (or lack thereof) and induction variables that succeed be identified at the end.