index
:
acl2
master
Debian dgit repo for package acl2
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
books
/
workshops
/
2000
/
medina
/
polynomials
/
polynomial.acl2
blob: c7abec526c8f213fac592e56b2bb87a5fecc6aae (
plain
)
1
2
3
(in-package "ACL2") (ld "certification.lsp") (certify-book "polynomial" ? t)