Information for "ACL2"

Basic information

Display title	ACL2
Default sort key	Acl2
Page length (in bytes)	5,919
Page ID	79835
Page content language	en - English
Page content model	wikitext
Indexing by robots	Allowed
Number of redirects to this page	0
Counted as a content page	Yes
Page image
HandWiki item ID	None

Edit	Allow all users (infinite)
Move	Allow all users (infinite)

Page creator	Steve2012 (talk \| contribs)
Date of page creation	13:03, 3 August 2023
Latest editor	Steve2012 (talk \| contribs)
Date of latest edit	13:03, 3 August 2023
Total number of edits	1
Recent number of edits (within past 60 days)	0
Recent number of distinct authors	0

Transcluded templates (32)	Templates used on this page: Template:Citation/core (view source) Template:Citation/make link (view source) Template:Cite journal (view source) Template:Cite web (view source) Template:Imbox (view source) Template:Infobox (view source) Template:Infobox programming language (view source) Template:Infobox software/simple (view source) Template:MONTHNAME (view source) Template:MONTHNUMBER (view source) Template:Main other (view source) Template:Reflist (view source) Template:Reflist/styles.css (view source) Template:Release date (view source) Template:Short description (view source) Template:Sourceattribution (view source) (semi-protected) Template:Start date (view source) Template:Template other (view source) Template:URL (view source) Template:Url (view source) Template:Yesno (view source) Template:Yesno-no (view source) Module:Arguments (view source) Module:Check for unknown parameters (view source) Module:Infobox (view source) Module:InfoboxImage (view source) Module:Message box (view source) Module:Message box/configuration (view source) Module:Navbar (view source) Module:No globals (view source) Module:URL (view source) Module:Yesno (view source)