mxcl/homebrew — pull request #14836 by mht208 (2012-09-10 15:58:21+00:00)
Title: Add a formula for Ssreflect.

Ssreflect is an extension of Coq. It provides convenient notations,
several mathematical components, and other general purpose features.
The famous Four Colour Theorem was proved in Coq with the Ssreflect
extension.