From c64ff5d9057ba2afcfc6093f1f51ab13d0d5edae Mon Sep 17 00:00:00 2001 From: Guillaume Claret Date: Sun, 10 May 2015 21:18:11 +0200 Subject: [PATCH] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 21781cf..235deb8 100644 --- a/README.md +++ b/README.md @@ -1,6 +1,6 @@ # Hello World - [![Join the chat at https://gitter.im/clarus/coq-hello-world](https://badges.gitter.im/Join%20Chat.svg)](https://gitter.im/clarus/coq-hello-world?utm_source=badge&utm_medium=badge&utm_campaign=pr-badge&utm_content=badge) + A Hello World program in Coq. ## Run