TY  - RPRT
TI  - LogicLearner: A Tool for the Guided Practice of Propositional Logic Proofs
AU  - Amogh Inamdar
AU  - Uzay Macar
AU  - Michel Vazirani
AU  - Michael Tarnow
AU  - Zarina Mustapha
AU  - Natalia Dittren
AU  - Sam Sadeh
AU  - Nakul Verma
AU  - Ansaf Salleb-Aouissi
PY  - 2025
UR  - https://arxiv.org/abs/2503.19280
ID  - 2503.19280
ER  -