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.