A Computational Logic for Applicative Common Lisp

Popular repositories

1. acl2 Public

   ACL2 System and Books as Maintained by the Community

   Common Lisp 240 84

2. docs Public

   Papers and presentations from workshops, seminars, etc.

   4 2