Skip to content

Alternative definition of contextual refinement

Dan Frumin requested to merge alt_ctx_refines into master

On request from @robbertkrebbers

Edited by Dan Frumin

Merge request reports