Table of Contents
Group Project
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.
Documentation
This documentation is in progress.
Subversion Repository
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.
Online Inspiration
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):
- DeSymbol - translates symbolic logic into English
- Orbital Library - for logic backend?
