Homebrew/homebrew — pull request #26137 by wetmore (2014-01-23 23:53:42+00:00)
Title: Tutch proof checker formula

2 commits that add the tutch proof checker (http://www2.tcs.ifi.lmu.de/~abel/tutch/) to homebrew.