search

Janko-dev / plogic

Propositional logic evaluator and rule-based pattern matcher
MIT License
20 stars 1 forks source link

Add keywords for operators #2

Closed Janko-dev closed 2 years ago

Janko-dev commented 2 years ago

& is and | is or ~ is not -> is implies <-> is equiv => is rule