GNU Aris: a web application for students

May 09, 2025 · The Ethereal · 🏛 ThEdu@CADE

🔮 THE ETHEREAL: The Ethereal
Pure theory — exists on a plane beyond code

"No code URL or promise found in abstract"

Evidence collected by the PWNC Scanner

Authors Saksham Attri, Zoltán Kovács, Aaron Windischbauer arXiv ID 2505.05986 Category cs.LO: Logic in CS Cross-listed cs.PL, cs.SE Citations 0 Venue ThEdu@CADE Last Checked 5 months ago
Abstract
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 on making GNU Aris a web application to enable almost all users to use it as a standalone offline web application written in a combination of HTML, JavaScript, and WebAssembly. We used the Qt Quick framework with Emscripten to compile the application to WebAssembly. In the report we summarize the user feedback of university students given during a course on logic.
Community shame:
Not yet rated
📄 View on arXiv 🌐 View on ar5iv 📑 PDF 🎉 Report Code Found
Community Contributions

Found the code? Know the venue? Think something is wrong? Let us know!

📜 Similar Papers

In the same crypt — Logic in CS