Skip to content

GitLab

Open
Created by Robbert Krebbers@robbertkrebbersMaintainer

Notation `≼@{A}` is missing

We are probably missing such notations for more relations. It would be good to do a sweep.