TY  - RPRT
TI  - LAP: Simple Command-line Tools for Teaching Logic, Algorithms, and Proof in Computer Science
AU  - Stephen F. Siegel
AU  - Yuxin Zhou
PY  - 2026
UR  - https://arxiv.org/abs/2607.08000
ID  - 2607.08000
ER  -