Category:ACL2: Difference between revisions

Category:ACL2 (view source)

241 bytes added , 5 years ago

m

Expanded acronym, linked to a recent info source

521

edits

Revision as of 16:23, 30 April 2012 (view source) rosettacode>Mwn3d m (Categorized according to LCT) ← Older edit		Latest revision as of 19:37, 6 January 2019 (view source) Enter your username (talk \| contribs) m (Expanded acronym, linked to a recent info source)
(One intermediate revision by one other user not shown)
Line 8: \|LCT=yes}} {{language programming paradigm\|Functional}} {{implementation\|Lisp}} ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models.▼ [http://www.cs.utexas.edu/users/moore/acl2/ From the University of Texas at Austin, late 2018:] ▲ACL2 is ~~both~~ a logic and programming language in which you can model computer systems, ~~and~~together with a tool to help you prove properties of those models. "ACL2" denotes "'''A''' '''C'''omputational '''L'''ogic for '''A'''pplicative '''C'''ommon '''L'''isp".