Tasks listed here have been marked as "un-implementable" in Coq. Solutions may be impossible to do, too complex to be of any valuable instruction in Coq, or prohibited by the task definition.
But hey; if you think you can prove us wrong, go for it. :-)
This category currently contains no pages or media.