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 ...
A first-order logic theorem prover which uses resolution and displays every step of the resolution process, written in SML. Load by loading sml and then running: CM.make "prover.cm" After that you can ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback