WIP: fix for stronger CAS requirements (!10) · Merge requests · Iris / examples · GitLab

Ralf Jung requested to merge ralf/cas into ci/gen_proofmode Jul 01, 2018

Depends on https://gitlab.mpi-sws.org/FP/iris-coq/merge_requests/167

Fixes #7 (closed), #8 (closed)

Edited Jul 01, 2018 by Ralf Jung