Julin S c800042ddb | ||
---|---|---|
.. | ||
README.org | ||
hello-acl2.lisp | ||
my-nat.maude |
README.org
Misc
ACL2 proof assistant:
- hello-acl2.lisp
Maude model cheker:
- my-nat.maude
Julin S c800042ddb | ||
---|---|---|
.. | ||
README.org | ||
hello-acl2.lisp | ||
my-nat.maude |
ACL2 proof assistant:
Maude model cheker: