noam-io/lemma-ruby — pull request #1 by jneander (2014-06-03 20:20:10+00:00)
Title: Refactoring, etc.

Some refactoring has occurred.
Specs have been split into separate, libfile-specific spec files.
Hearing now allows for block-based behavior.
A LemmaVerification example is now available.