{"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. ","homepage":"http://coq.inria.fr/","watchers":2,"stargazers":2,"forks":0,"fork":true,"size":35562,"owner":"metachord","private":false,"open_issues":0,"has_issues":false,"has_downloads":true,"has_wiki":false,"language":"OCaml","created_at":"2013-08-25T10:13:41-07:00","pushed_at":"2013-08-25T10:14:43-07:00","master_branch":"trunk","organization":"metachord"},"actor_attributes":{"type":"User","name":"Christopher Meiklejohn","company":"Basho Technologies, Inc.","blog":"http://christophermeiklejohn.com/","location":"Rhode Island","email":"f9da11136d63e89cde24a98c20fae29ff32c8a9d@gmail.com"},"url":"https://github.com/metachord/coq"}