mxcl/homebrew — pull request #8081 by liborw (2011-10-12 07:35:00+00:00)
Title: New formula: iprover 0.8.1

"iProver is an automated reasoning system for first-order logic."
[http://code.google.com/p/iprover/]