Extrinsic termination proofs for well-founded recursion in Leanjoachim-breitner.de1 point·JNRowe··0 commentsOpen articleSaveView on HN