Skip to content
Snippets Groups Projects

Introduce `set_bind` and associated lemmas + set_bind theory: revise setoid rewriting

Merged Paolo G. Giarrusso requested to merge Blaisorblade/stdpp:set_bind into master
Status
Pipeline
Created by
Stages
Actions
Passed

00:05:32

avatar

No artifacts found

Canceled

00:03:54

avatar

No artifacts found

Passed

00:04:37

avatar

No artifacts found

Loading