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.
Same for Coq. As far as I can tell there is no way to inspect the Preloded file, and the interface of codewards is completely inadequate. I managed to find the required definitions by Printing their names and "attempting" to solve the problem, which then shows the result of running the file. But this is really suboptimal.
Edit: Ok, my bad, the definitions are provided in the comments of the problem. This still strikes me as a weird way to do it.