GNU Aris: a web application for students. - Saksham Attri; Zoltán Kovács; Aaron Windischbauer (ThEdu@CADE, 2024)