Extrinsic termination proofs for well-founded recursion in Lean

by JNRowe on 3/11/2025, 9:43:53 AM with 0 comments