Skip to content

Draft: Coq 18928

Pierre Roux requested to merge proux/iris:coq_18928 into master

In case it can be of any use (c.f. stdpp!549 (closed) ) but I'm a bit lost here.

Merge request reports