Picture for Michel Vazirani

Michel Vazirani

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

Add code
Mar 25, 2025
Viaarxiv icon