diff options
| author |  Guillaume Claret <dev@clarus.me> | 2015-08-05 16:20:41 +0200 |
|---|---|---|
| committer | Guillaume Claret <dev@clarus.me> | 2015-08-05 16:20:41 +0200 |
| commit | 0446b632883e7baa6979bd0251258ea3769c337b (patch) | |
| tree | 34c172fbe81ab5034f6f7ecc506d4afe68378129 /README.md | |
| parent | c3d1ca3e0957d6380143bdce29bfccbe1b05f537 (diff) | |
Description added
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -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. |