Activity · Dan Frumin / coq-stdpp · GitLab

Snippets Groups Projects

2 years ago

Paolo G. Giarrusso @Blaisorblade

closed merge request !1 "set_bind theory: revise setoid rewriting" at Dan Frumin / coq-stdpp

2 years ago

William turne @williamturne

opened issue #1 "Essay" at Dan Frumin / coq-stdpp

2 years ago

Paolo G. Giarrusso @Blaisorblade

commented on merge request !1 "set_bind theory: revise setoid rewriting" at Dan Frumin / coq-stdpp

Maybe the more standard name would be:...

2 years ago

Paolo G. Giarrusso @Blaisorblade

opened merge request !1 "set_bind theory: revise setoid rewriting" at Dan Frumin / coq-stdpp

2 years ago

Dan Frumin @dfrumin

pushed to branch set_bind at Dan Frumin / coq-stdpp

da5452a3 · Apply some sugguestions from Robbert and Paolo

2 years ago

Dan Frumin @dfrumin

pushed to branch set_bind at Dan Frumin / coq-stdpp

3e65c087 · Update the CHANGELOG
... and 9 more commits. Compare 3d0c8f28...3e65c087