3 citations · 4 across the 5 of their papers we have counts for
1 paper · 1 filter
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…