search

gelijergensen / MetaLogic

A general purpose calculator for propositional logic systems
MIT License
0 stars 0 forks source link

Added simple evaluator for propositional logic formulas #2

Closed gelijergensen closed 3 years ago

gelijergensen commented 3 years ago

resolves #1