Skip to content

Alternative definition of contextual refinement

Dan Fruminrequested to merge
alt_ctx_refines into master

On request from @robbertkrebbers

Edited by Dan Frumin

Merge request reports