Commit f04307a4 authored by Robbert's avatar Robbert

Merge branch 'robbert/iEval' into 'master'

`iEval  ... in ...` for performing a tactic in an invidual proofmode hypothesis

Closes #116

See merge request FP/iris-coq!105
parents 1017fabb f5a3065b
Pipeline #6389 passed with stages
in 9 minutes and 26 seconds