A Computational Logic for Applicative Common Lisp

acl2

Austin, TX

http://cs.utexas.edu/~moore/acl2/

A Computational Logic for Applicative Common Lisp's repositories

acl2

ACL2 System and Books as Maintained by the Community

Language:Common LispNOASSERTION341 36 482

docs

Papers and presentations from workshops, seminars, etc.