▲ 1 pointsExtrinsic termination proofs for well-founded recursion in Leanjoachim-breitner.deby JNRowe·1y ago·0 comments·view on hn ↗