search

gelijergensen / MetaLogic

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

Added Calculator Executable #24

Closed gelijergensen closed 3 years ago

gelijergensen commented 3 years ago

Added a standalone executable to the code for an interactive calculator. It implements each of the 4 pre-existing logic systems.

resolves #20