Add new topic: Coq

Author: anton-trunov

topics/coq/coq.png

@@ -0,0 +1,16 @@
+---
+created_by: Gérard Pierre Huet, Thierry Coquand
+display_name: Coq
+github_url: https://github.com/coq/coq
+logo: coq.png
+released: 1989
+short_description: Coq is a formal proof management system.
+topic: coq
+url: https://coq.inria.fr
+wikipedia_url: https://en.wikipedia.org/wiki/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. Typical
+applications include the certification of properties of programming languages,
+the formalization of mathematics and teaching.