Table of Contents

Symbolic Logic Tutorial
- Functionality TODO List
- Other TODO List

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