chop-logic-core/lib/index.d.ts

Core classes, methods and functions for calculating logical formulas and constructing proofs within the Chop Logic project.

export * from "./enums";
export * from "./models";
export * from "./propositional";
export * from "./tokenizer";