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