Tasks listed here have been marked as "un-implementable" in ACL2. Solutions may be impossible to do, too complex to be of any valuable instruction in ACL2, or prohibited by the task definition.
But hey; if you think you can prove us wrong, go for it. :-)
Pages in category "ACL2/Omit"
The following 50 pages are in this category, out of 50 total.