Analysis / / 4 min read Latest
Tombstone.js: A propositional logic library
A library for evaluating well-formed formulas, built to find out how much of an introductory logic course automates cleanly. Written in 2016; the demos here run the real parser.