Revision as of 13:06, 30 May 2010 (view source) rosettacode>EdK (created)		Revision as of 16:23, 30 April 2012 (view source) rosettacode>Mwn3d m (Categorized according to LCT) Newer edit →
Line 1: {{stub}} {{language~~\|ACL2~~ \|site=http://userweb.cs.utexas.edu/users/moore/acl2/ \|strength=strong }} \|safety=unsafe \|checking=dynamic \|gc=yes \|LCT=yes}} {{language programming paradigm\|Functional}} ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models.

Category:ACL2 (view source)