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

tree-sitter-nd

Plain text ND syntax (Fitch style)

v0.0.3 URL: https://unpkg.com/tree-sitter-nd@0.0.3/index.js

Open Browse Files

tree-sitter natural-deduction fitch nd