This was initially created for a talk at Michigan TypeScript Developers. The repository is roughly organized around TypeScript settings, with subfolders for possible values for those settings and ...
This project implements a propositional logic resolution prover. It includes modules for parsing propositional logic formulas, converting them to Conjunctive Normal Form (CNF), and resolving them ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results