Project 'tchajed/iris-coq' was moved to 'tchajed/iris'. Please update any links and bookmarks that may still have the old path.
Ralf's suggestions.
Passed
Robbert Krebbers
created pipeline for commit
0d1eb9c1
, finished
Related merge request !478 to merge fold_comm_acc_lemmas
4 minutes 20 seconds, queued for 2 seconds