Skip to content
GitLab

Alternative definition of contextual refinement

Merged Dan Frumin requested to merge alt_ctx_refines into master

On request from @robbertkrebbers

Edited by Dan Frumin

Merge request reports