UNPKG

tfl-js

Version:

A TypeScript library for parsing and evaluating propositional logic formulas

7 lines 222 B
export * from './types/formula'; export * from './parser/lexer'; export * from './parser/parser'; export * from './parser/sequent'; export * from './evaluator'; export * from './errors'; //# sourceMappingURL=index.d.ts.map