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

Remove duplicated section.

Open DeVilhena-Paulo opened this issue 1 year ago • 0 comments

There are two instances of Section Local Recursive Declarations in induction_and_recursion.md. This pull request removes the second one (at the end of the file).

DeVilhena-Paulo avatar Jan 10 '24 18:01 DeVilhena-Paulo