diff options
| -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. |