ragerdl / acl2-devel-deprecated Goto Github PK
View Code? Open in Web Editor NEWYou want to use the acl2 under user acl2, not this one. *UNOFFICIAL* git mirror of the ACL2 svn repository.
Home Page: http://acl2-devel.googlecode.com/
License: Other