Simple draft about introduction of guards (using JEval) on triples#3
Open
fpompermaier wants to merge 1 commit intoIDLabResearch:masterfrom
Open
Simple draft about introduction of guards (using JEval) on triples#3fpompermaier wants to merge 1 commit intoIDLabResearch:masterfrom
fpompermaier wants to merge 1 commit intoIDLabResearch:masterfrom
