We are going to collaborate on a project for Professor Paul Gregory to provide a Web application for his class. The Web application will allow students to practice and be tested on logic concepts. Information about the requirements for the project are on the course web page.
See our work in progress.
This documentation is in progress.
The source code for this web application is in a Subversion repository located at /home/courses/cs297/shared/svn. The project's name is Logic.
We will consult with Prof. Gregory about what this application should do and create a requirements specification. Here are some sites that we may want to draw inspiration from (no endorsement implied):