Skip to content
Snippets Groups Projects

Hint Mode Equiv: update link to blocking Coq issue

Merged Hint Mode Equiv: update link to blocking Coq issue
Blaisorblade/stdpp:Blaisorblade-master-patch-54151 into master
Merged Paolo G. Giarrusso requested to merge Blaisorblade/stdpp:Blaisorblade-master-patch-54151 into master
Compare
and
Compare changes
  • Side-by-side
  • Inline
Files
1