from Hacker News

Extrinsic termination proofs for well-founded recursion in Lean

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