search

gelijergensen / MetaLogic

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

Add: Calculator mode executable #20

Closed gelijergensen closed 3 years ago

gelijergensen commented 3 years ago

Although I generally find it easier to fiddle with things in the repl, it would be nice to have a user-driven "calculator" executable