BETH - Semantic Tableaux Solver App
I worked in a team of 6 where we built a sandbox tool that was intended for students taking UBC Philosophy 220A, specifically on solving semantic tableaux. The tool aims to be a workstation where users can execute various commands by clicking on various options such as breaking down complex logic statements into smaller ones, and in turn can be used to evaluate whether the expression is valid or not. I implemented the back-end functionality for executing user operations on logic formulas. In addition, I was the project manager on the team and so I ensured that we were making progress according to schedule. We were awarded for best app amongst two other competing teams. The app used Java and SWT library.