theorem_proving_in_lean4 icon indicating copy to clipboard operation
theorem_proving_in_lean4 copied to clipboard
verified publisher icon leanprover

Typo in Chapter 8: ∀ y, r y x → Acc r y should be ∀ y, r y x → Acc r x

Open iensen opened this issue 7 months ago • 0 comments

https://github.com/leanprover/theorem_proving_in_lean4/blob/ce23823e0e33bd153095dc307eae0341da2d9915/induction_and_recursion.md?plain=1#L684

iensen avatar May 26 '25 00:05 iensen