theorem_proving_in_lean4 icon indicating copy to clipboard operation
theorem_proving_in_lean4 copied to clipboard

Published 20 hours ago • verified publisher icon leanprover

Duplicate section on Local recursive declarations

Open solleks opened this issue 9 months ago • 0 comments

The file induction_and_recursion.md has two sections titled "Local recursive declarations". It looks like it was moved from one place to another on March 3, 2022 and then it was restored to the old location on June 13, 2022.

I have not checked whether the two sections are identical.

solleks avatar May 08 '24 02:05 solleks