Propositional-logic | npm.io

Propositional logic symbolic computation library

logic propositional-logic parser formulas

1.0.2 • Published 4 months ago

A propositional logic library written in Typescript

logic propositional-logic proof-assistant logic-client

0.4.0 • Published 2 years ago