diff options
| author | Ming-Hsien Tsai | 2012-09-10 23:43:38 +0800 |
|---|---|---|
| committer | Adam Vandenberg | 2012-09-14 11:04:21 -0700 |
| commit | 4e3b992c548ec5c1bc89cd6c2878f30ddbda32c9 (patch) | |
| tree | 9fa538a77f53416f3072a75c08d5a89550e09d95 /Library/Formula/cppcheck.rb | |
| parent | 31fd1402e4723138048dc7dffcf701212331b616 (diff) | |
| download | homebrew-4e3b992c548ec5c1bc89cd6c2878f30ddbda32c9.tar.bz2 | |
Ssreflect 1.4
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.
Closes #14836.
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
Diffstat (limited to 'Library/Formula/cppcheck.rb')
0 files changed, 0 insertions, 0 deletions