We gratefully acknowledge support from
the Simons Foundation and member institutions.
arXiv.org
No authors of 1509.06082 can endorse.
Extending ACL2 with SMT Solvers
Yan Peng
and
Mark Greenstreet
are not registered as owners of this paper. (
why?
)
