language: en

Design Goals for ACL2

Matt Kaufmann and J Strother Moore
Technical Report 101 August, 1994
Computational Logic, Inc.
1717 West Sixth Street, Suite 290 Austin, Texas 78703-4776

[TEL: +1 512 322 9951]

EMAIL: kaufmann@cli.com and moore@cli.com

[This work was supported in part at Computational Logic, Inc., by the Defense Advanced Research Projects Agency, ARPA Order 7406. The views and conclusions contained in this document are those of the author(s) and should not be interpreted as representing the official policies, either expressed or implied, of Computational Logic, Inc., the Defense Advanced Research Projects Agency or the U.S. Government.]