Category:ACL2/Omit: Difference between revisions
Content added Content deleted
(Created page) |
(No difference)
|
Latest revision as of 09:53, 11 March 2014
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.