Skip to content

numbers.v: Don't Qed Decision instances

Paolo G. Giarrusso requested to merge Blaisorblade/stdpp:paolo/qed-decision into master

Noticed from a compute_done failure.

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

Merge request reports