====== 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 [[http://www.cs.wlu.edu/~sprenkle/cs297/project.php|requirements for the project]] are on the course web page.

See our [[http://servo.cs.wlu.edu/Logic/|work in progress]].



===== Documentation =====

This documentation is in progress.

  * [[cs297:project:requirements|Requirements]]
  * [[cs297:project:design|Design]]
  * [[cs297:project:workplan|Work Plan]]
  * [[cs297:project:usermanual|User Manual]]
===== 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):

  * [[http://elvis.rowan.edu/desymbol/|DeSymbol]] - translates symbolic logic into English 
  * [[http://www.symbic.net/orbital/|Orbital Library]] - for logic backend?
  * [[http://quizstar.4teachers.org/help/examples.jsp]]
  * [[http://quizstar.4teachers.org/help/quickTourNewUser.jsp]]
  * [[http://ctat.pact.cs.cmu.edu/]]
  * [[http://www.sometests.com/]]
  * [[http://www.gotoquiz.com/]]