A Computational Logic for Applicative Common Lisp

icon indicating a website link http://cs.utexas.edu/~moore/acl2/

icon location Austin, TX

Results 1 repositories owned by A Computational Logic for Applicative Common Lisp

acl2

343
Stars
96
Forks
Watchers

ACL2 System and Books as Maintained by the Community

verified publisher icon acl2