{"repository":{"description":"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. ","open_issues":0,"has_issues":false,"owner":"gares","integrate_branch":"Paral-ITP","created_at":"2011-08-30T01:04:30-07:00","has_downloads":true,"stargazers":2,"fork":true,"size":1432,"homepage":"http://coq.inria.fr/","has_wiki":true,"watchers":2,"private":false,"pushed_at":"2012-08-09T02:57:21-07:00","forks":0,"language":"OCaml"},"actor_attributes":{"type":"User","name":"Enrico","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"url":"https://github.com/gares/coq/tree/demo-coq-ws"}