derekrazo/ProofProject — pull request #3 by irongavel (2013-07-23 07:26:06+00:00)
Title: Finished ExpressionChecker!

Expression Checker, along with helper method indexer