This repository has been archived by the owner. It is now read-only.

Add a formula for Ssreflect. #14836

Closed
wants to merge 4 commits into
from

Conversation

Projects
None yet
2 participants
Contributor

mht208 commented Sep 10, 2012

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.

@mht208 mht208 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.
9e13218

These two lines can be:

(share/'ssreflect').install "pg-ssr.el"

Contributor

adamv commented Sep 14, 2012

Note that we typically like pull requests to be squashed to a single commit

@adamv adamv closed this in 4e3b992 Sep 14, 2012

@snakeyroc3 snakeyroc3 pushed a commit to snakeyroc3/homebrew that referenced this pull request Dec 17, 2012

@mht208 @adamv mht208 + adamv 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>
b44f8e6

@xu-cheng xu-cheng locked and limited conversation to collaborators Feb 16, 2016

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.