Nonstandard Analysis in ACL2

Ruben Gamboa, Matt Kaufmann. Nonstandard Analysis in ACL2. Journal of Automated Reasoning, 27(4):323-351, 2001.

Abstract

Abstract is missing.