chop-logic-core

An npm package for core functions of the Chop Logic project.

v1.2.0 URL: https://unpkg.com/chop-logic-core@1.2.0/lib/index.cjs

Open Browse Files

chop-logic logic propositional-logic proof-system typescript formal-logic hilbert natural-deduction

fregejs

A propositional logic library written in Typescript

v0.4.0 URL: https://unpkg.com/fregejs@0.4.0/dist/index.js

Open Browse Files

logic propositional-logic proof-assistant logic-client

propositional

Propositional logic symbolic computation library

v1.0.2 URL: https://unpkg.com/propositional@1.0.2/lib/index.js

Open Browse Files

logic propositional-logic parser formulas

tfl-js

A TypeScript library for parsing and evaluating propositional logic formulas

v0.5.0 URL: https://unpkg.com/tfl-js@0.5.0/dist/cjs/index.js

Open Browse Files

logic propositional-logic truth-tables parser evaluator typescript