Homebrew/homebrew — pull request #26130 by wetmore (2014-01-23 22:50:01+00:00)
Title: tutch: 0.52 - natural deduction proof checker

Tutch is a proof checker for constructive natural deduction proofs,
written in SML. This formula installs it.