2001): Nonstandard analysis in ACL2 (0)

by R Gamboa, M Kaufmann
Venue:Journal of Automated Reasoning