2 ms·ACL2 http://www.cs.utexas.edu/~moore/acl2/ http://www.cs.utexas.edu/~moore/acl2/by mrefj 10y agoACL2 http://www.cs.utexas.edu/~moore/acl2/ http://www.cs.utexas.edu/~moore/acl2/