Merge branch 'ralf/compute_done' into 'master'
add tactic for solving computable goals Closes #83 See merge request iris/stdpp!261
No related branches found
No related tags found
Checking pipeline status
add tactic for solving computable goals Closes #83 See merge request iris/stdpp!261