Are there any plans to support Lean 4? #3170
mattdiamond
started this conversation in
General
Replies: 1 comment
-
|
Yes: codewars/runner#238 (and codewars/runner#276) , but AFAIK the transition encountered some impediments related to performance. There is a related thread on CW Discord in the |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
-
Lean 3 is considered deprecated at this point. Are there any plans to support Lean 4?
Beta Was this translation helpful? Give feedback.
All reactions