The Symbolic Logic Tutorial is a long-running project, developed for Professor Paul Gregory. The students in Professor Sara Sprenkle's CSCI 297 class developed the original Symbolic Logic tutorial prototype as part of a course project. Natallia Robinson developed the fully-functional application as part of an independent study at the University of Delaware, and she continued working on it as a volunteer experience. Richard Marmorstein added more features, Summer 2012. The Spring 2016 CSCI335 students revamped the application's interface. Michael Dik continued that improvement during Summer 2016.
The application is implemented using the Orbital library by André Platzer.
For more information about how to use the system and the design and implementation of the project, see our documentation.
Check out the quiz taking process with our public quizzes demonstration.