From 0446b632883e7baa6979bd0251258ea3769c337b Mon Sep 17 00:00:00 2001 From: Guillaume Claret Date: Wed, 5 Aug 2015 16:20:41 +0200 Subject: Description added --- README.md | 3 +++ 1 file changed, 3 insertions(+) (limited to 'README.md') diff --git a/README.md b/README.md index 2329b536b..a41ee7cc0 100644 --- a/README.md +++ b/README.md @@ -1,4 +1,7 @@ # Coq +Coq is a formal proof management system. It provides a formal language to write +mathematical definitions, executable algorithms and theorems together with an +environment for semi-interactive development of machine-checked proofs. ## Installation See the file `INSTALL` for installation procedure. -- cgit v1.2.3