Popular repositories Loading

1. acl2-tpm-and-java-interpreter acl2-tpm-and-java-interpreter Public

   Automatically exported from code.google.com/p/acl2-tpm-and-java-interpreter

   Common Lisp 1

2. acl2 acl2 Public

   Forked from acl2/acl2

   ACL2 System and Books as Maintained by the Community

   Common Lisp 1

3. acl2-devel-deprecated acl2-devel-deprecated Public

   You want to use the acl2 under user acl2, not this one. *UNOFFICIAL* git mirror of the ACL2 svn repository.

   Common Lisp

4. acl2-books-deprecated acl2-books-deprecated Public

   You want to use the acl2-books under user acl2, not this one. *UNOFFICIAL* git mirror of the ACL2 Books svn repository.

   Common Lisp

5. acl2-deprecated acl2-deprecated Public

   Merged acl2+books

   Common Lisp

6. svn-to-git svn-to-git Public

   Shell