Notes and programs on "Logic, Proof and Computation" by Mark Tarver
No issues in this repository yet.