Skip to content
Snippets Groups Projects

numbers.v: Don't Qed Decision instances

Merged numbers.v: Don't Qed Decision instances
Blaisorblade/stdpp:paolo/qed-decision into master
All threads resolved!
Merged Paolo G. Giarrusso requested to merge Blaisorblade/stdpp:paolo/qed-decision into master
All threads resolved!
Compare
and
Compare changes
  • Side-by-side
  • Inline
Files
1