tfl-js

A TypeScript library for parsing and evaluating propositional logic formulas