search

gelijergensen / MetaLogic

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

Added logic system for intuitionistic propositional logic #23

Closed gelijergensen closed 3 years ago

gelijergensen commented 3 years ago

Moved old propositional logic system to ClassicalPropositionalLogic.hs.

resolves #13