Calugar25

icon company UTCN icon location Cluj Napoca icon location Technology enthusiast currently in my 4 th year of Computer Science.

Results 1 issues of Calugar25

Problem when running one of the examples

1 comment

When i try to run the "forall x. P(x) implies (Q(x) implies P(x))" example i get multiple errors , do you know why that could be ?