Skip to content
Snippets Groups Projects

Introduce `set_bind` and associated lemmas.

Closed Dan Frumin requested to merge dfrumin/coq-stdpp:set_bind into master
Status
Pipeline
Created by
Stages
Actions
Passed

00:04:42

avatar

No artifacts found

Passed

00:09:20

avatar

No artifacts found

Passed

00:03:59

avatar

No artifacts found

Canceled

00:01:09

avatar

No artifacts found

Loading