numbers.v: Don't Qed Decision instances (!572) · Merge requests · Iris / stdpp · GitLab

You need to sign in or sign up before continuing.

Noticed from a compute_done failure.

Also, use abstract to still hide proof-irrelevant terms from computation.