Skip to content

numbers.v: Don't Qed Decision instances

Noticed from a compute_done failure.

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

Merge request reports

Loading