| Display title | Category:ACL2 |
| Default sort key | ACL2 |
| Page length (in bytes) | 560 |
| Namespace ID | 14 |
| Namespace | Category |
| Page ID | 5036 |
| Page content language | en - English |
| Page content model | wikitext |
| Indexing by robots | Allowed |
| Number of redirects to this page | 1 |
| Page views in the past month | 0 |
| Edit | Allow all users (infinite) |
| Move | Allow all users (infinite) |
| Page creator | rosettacode>EdK |
| Date of page creation | 13:06, 30 May 2010 |
| Latest editor | Enter your username (talk | contribs) |
| Date of latest edit | 19:37, 6 January 2019 |
| Total number of edits | 4 |
| Recent number of edits (within past 180 days) | 0 |
| Recent number of distinct authors | 0 |
Description | Content |
Article description: (description)
This attribute controls the content of the description and og:description elements. | From the University of Texas at Austin, late 2018: ACL2 is a logic and programming language in which you can model computer systems, together with a tool to help... |
