====== Symbolic Logic Tutorial ====== ===== Functionality TODO List ===== * Add quantification ability * Requires learning compiler skills to validate another language * Make more user friendly using Ajax * Fix Bugs * two questions with the same question/answer get the same id in students' performance report -- is the problem more pervasive? ===== Other TODO List ===== * Make application work on Apache Tomcat