npm.io

Natural-deduction Packages

tree-sitter-nd

Plain text ND syntax (Fitch style)

tree-sitter natural-deduction fitch nd

0.0.3 • Published 7 years ago

contact@npm.io