Nonstandard Analysis in ACL2 (0)

by R Gamboa, M Kaufmann
Venue:JAR