LogicLearner: A Tool for the Guided Practice of Propositional Logic Proofs. - Amogh Inamdar; Uzay Macar; Michel Vazirani; Michael Tarnow; Zarina Mustapha; Natalia Dittren; Sam Sadeh; Nakul Verma; Ansaf Salleb-Aouissi (CoRR, 2025)