-
Notifications
You must be signed in to change notification settings - Fork 219
List of Lean Kata to Update
Alexey Solovyev edited this page Aug 27, 2020
·
62 revisions
Lean v3.18.4 with mathlib 78655b6 was added.
The following kata are not compatible.