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