Information for "Category:ACL2"

Basic information

Display titleCategory:ACL2
Default sort keyACL2
Page length (in bytes)560
Page ID5036
Page content languageen - English
Page content modelwikitext
Indexing by robotsAllowed
Number of redirects to this page1

Category information

Total number of members99
Number of pages96
Number of subcategories3
Number of files0

Page protection

EditAllow all users (infinite)
MoveAllow all users (infinite)
View the protection log for this page.

Edit history

Page creatorrosettacode>EdK
Date of page creation13:06, 30 May 2010
Latest editorEnter your username (talk | contribs)
Date of latest edit19:37, 6 January 2019
Total number of edits4
Total number of distinct authors4
Recent number of edits (within past 180 days)0
Recent number of distinct authors0

Page properties

Transcluded templates (10)

Templates used on this page:

SEO properties



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...
Information from Extension:WikiSEO