Explicit vdash

Closed Gregory Malecha requested to merge explicit-vdash into master

Merge request reports