LAP: Simple Command-line Tools for Teaching Logic, Algorithms, and Proof in Computer Science

Stephen F. Siegel, Yuxin Zhou

The LAP toolset is a set of command line tools for teaching logic in computer science. It provides implementations of standard algorithms for propositional and first order logic, i…