Loading collection data...
Collections are a way for you to organize kata so that you can create your own training routines. Every collection you create is public and automatically sharable with other warriors. After you have added a few kata to a collection you and others can train on the kata contained within the collection.
Get started now by creating a new collection.
I am facing an issue while submitting the solution. Codewars Lean is not at the same state as my own editor when going through the proof. As a result it is not accepting my proof. I have checked that my proof works on my local machine (using Lean 3.8.0) and on the mathlib lean web editor (using Lean 3.9.0). Is the error being caused by CW's lean being at 3.7?