Extrinsic termination proofs for well-founded recursion in Lean

1 point by JNRowe 3 months ago | 0 comments