Top
New
Ask
Show
Extrinsic termination proofs for well-founded recursion in Lean
1 point by
JNRowe
3 months ago |
0 comments