Picture for Natalia Dittren

Natalia Dittren

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

Add code
Mar 25, 2025
Viaarxiv icon