diff options
| author |  Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2017-07-11 16:14:14 +0200 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2017-07-11 16:14:14 +0200 |
| commit | 2054f0a6233452b25275f5c1407ad54654b482a9 (patch) | |
| tree | 5472b7abe507c338a71866dc373c6c44f27b3de0 | |
| parent | b5ad6a80107f196fa8ffcc4f5dff58bea8c4f70e (diff) | |
Update Travis badge following the switch to master
| -rw-r--r-- | README.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,6 +1,6 @@ # Coq -[](https://travis-ci.org/coq/coq/builds) [](https://gitter.im/coq/coq) +[](https://travis-ci.org/coq/coq/builds) [](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 |