mathematics_in_lean_source icon indicating copy to clipboard operation
mathematics_in_lean_source copied to clipboard

Published 20 hours ago • verified publisher icon avigad

replace repeat' with repeat in Chapter 02 solutions

Open yannickseurin opened this issue 8 months ago • 0 comments

Solutions in C02S04/05 use repeat' but this tactic is not described in the text and everything works fine with repeat.

yannickseurin avatar May 28 '24 14:05 yannickseurin