Merge branch 'ralf/mk_evar' into 'master'
add mk_evar tactic (to replace Coq's strange evar tactic) and use it See merge request iris/stdpp!289
No related branches found
No related tags found
Checking pipeline status
add mk_evar tactic (to replace Coq's strange evar tactic) and use it See merge request iris/stdpp!289