Commit af65c5a5 authored by Ralf Jung's avatar Ralf Jung
Browse files

Merge branch 'ralf/into_forall_wand' into 'gen_proofmode'

allow specializing a wand with a Coq-level proof of the premise

See merge request FP/iris-coq!154
parents b41623db 357f1cc2
Pipeline #9531 passed with stage
in 26 minutes and 27 seconds