GitHub repository: pbalogh/Spocktacle
Primary language: JavaScript
Created: 2019-05-29T13:21:10Z
Description: A logic parser and solver that makes pretty trees to find and highlight contradictions. Good for Smullyan-style tableaux (if you evaluate the negation of your formula) and 2SAT solving. Has a few sample sentences to demonstrate the operators/grammar it groks.