Skip to content

WIP: Define more uPred connectives in siProp

Hai Dang requested to merge ci/hai/siProp into master

This is an experiment initially with the step 1 + 3 of #420. Then I have experimented more with 5 and 8.

Edited by Hai Dang

Merge request reports