Manuscript Hawk03-A@1 · Hawk03-A.tex · section · 9a109c12

Comparison errors and a conditional physical certificate

Comparison errors and a conditional physical certificate · lines 1238–1243

Back to manuscript

The finite construction is useful only if any proposed physical successor proves its comparison interfaces. This section makes the required stability statement explicit.

Nearby in this section