Open gfrances opened 4 years ago
The evaluate method at <src/devel/src/tarski/evaluators/simple.py> has been unfinished for a long time, and still does not support quantification. We should finish this.
evaluate
The
evaluate
method at <src/devel/src/tarski/evaluators/simple.py> has been unfinished for a long time, and still does not support quantification. We should finish this.