GNU Aris, UI and Feature Enhancements

This project's goal is to enhance the usability and accessibility of GNU Aris. It addresses the issues that students currently struggle with when using Aris and implements their requested features: - Detailed and helpful error messages - Full internationalization (i18n) support. - An exclusive disjunction operator and an option to use the the rule of inference for a proof by contrapositive. - UI/UX enhancements: Zoom functionality, an in-application help/documentation, syntax highlighting, etc.