1 paper
Saksham Attri, Zoltán Kovács, Aaron Windischbauer
We report on recent improvements to the free logic education software tool GNU Aris, including the latest features added during the Google Summer of Code 2023 project. We focused o…