plogic
plogic copied to clipboard
Janko-dev
Propositional logic evaluator and rule-based pattern matcher
Results
1
plogic issues
Sort by
recently updated
recently updated
newest added
Something missing in this iteration is quantifiers. I would like to take a shot at implementing them, but I will probably not get around to it before exams (October-November in...
