APA (7th ed.) Citation

Inamdar, A., Macar, U., Vazirani, M., Tarnow, M., Mustapha, Z., Dittren, N., . . . Salleb-Aouissi, A. (2025). LogicLearner: A Tool for the Guided Practice of Propositional Logic Proofs.

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

Inamdar, Amogh, et al. LogicLearner: A Tool for the Guided Practice of Propositional Logic Proofs. 2025.