issues
search
Janko-dev
/
plogic
Propositional logic evaluator and rule-based pattern matcher
MIT License
20
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Add quantifiers
#3
L0uisc
opened
2 years ago
5
Add keywords for operators
#2
Janko-dev
closed
2 years ago
0
Add name binding for rule
#1
Janko-dev
closed
2 years ago
0