Comparing an Integer with a Floating-Point Number, Part 2: Tactics - 0 views
-
Andrey Karpov on 18 Mar 13We continue last week's discussion by getting down to details. We continue last week's discussion by getting down to details. If you haven't read it, please do so now; I'll wait. Thanks! We'll start by defining three important implementation-dependent types: ...