Fix w.r.t. coq/coq#10764. (!98) · Merge requests · Iris / stdpp · GitLab

Snippets Groups Projects

The source project of this merge request has been removed.

Merged Ghost User requested to merge (removed):btt-on-coinductive into master 5 years ago

Backward compatible, mergeable as-is.

Activity

Robbert Krebbers mentioned in commit b53cbe77 5 years ago

mentioned in commit b53cbe77
Robbert Krebbers merged 5 years ago

merged
Robbert Krebbers @robbertkrebbers 5 years ago

Owner

LGTM. Thanks.
Ralf Jung @jung 5 years ago

Owner

I bumped the dependencies in Iris and lambdaRust so include this MR.

Please register or sign in to reply