fregejsA propositional logic library written in Typescriptlogicpropositional-logicproof-assistantlogic-client0.4.0 • Published 3 years ago