diff options
| author | Maxime Dénès | 2017-04-15 01:24:56 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-04-15 01:24:56 +0200 |
| commit | ed09fccb6405fb832cab867919cc4b0be32dea36 (patch) | |
| tree | 32a3c24bdf5ff1f9de6fc734e8585e78372e159a | |
| parent | 144f032a416a0701f3183c156769f30e64362549 (diff) | |
| parent | 2e186b08c2f94516e046b16d2f542cdadcf21815 (diff) | |
Merge PR#523: [readme] Add badges for Travis and Gitter.
| -rw-r--r-- | README.md | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -1,4 +1,7 @@ # Coq + +[](https://travis-ci.org/coq/coq) [](https://gitter.im/coq/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. |