Picture for Michael Tarnow

Michael Tarnow

LogicLearner: A Tool for the Guided Practice of Propositional Logic Proofs

Add code
Mar 25, 2025
Viaarxiv icon