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.
Approved
Upgrade Lean translation to 3.39.1
(import
data.streamis now indata.stream.defs, change in Preloaded)Nice. Approved, thanks!
Coq Translation Kumited - please accept :-D
This comment is hidden because it contains spoiler information about the solution
jesus christ this was so easy
It should be fixed by now !
Minor grammar nitpick: punctuation in English should only have space after, not before.
So instead of
You should use
This comment is hidden because it contains spoiler information about the solution
I always forget that's a
basefunction!Allright, looks good! Make a kumite fork if you want to.
This comment is hidden because it contains spoiler information about the solution
Yes, it's dumb. No, I don't care.