This is a C implementation of the minimal theorem prover described as the first example in Vaughan R. Pratt's 1973 paper 'Top Down Operator Precedence'.
It follows the terminology and techniques described in the paper.
make && make test
Programmer: Alex Baines License : public domain || unlicense || CC0