{"repository":{"owner":"HoTT","has_downloads":true,"pushed_at":"2013-01-20T09:13:08-08:00","forks":5,"organization":"HoTT","has_wiki":false,"created_at":"2012-09-25T18:32:05-07:00","master_branch":"trunk","homepage":"http://coq.inria.fr/","fork":true,"size":3260,"open_issues":4,"watchers":2,"private":false,"has_issues":true,"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. ","stargazers":2,"language":"OCaml"},"actor_attributes":{"location":"Paris, Princeton, ...","email":"6890fa1d738eb4a06cf1d2634a31d4aac12540b7@mattam.org","type":"User","blog":"mattam.org","company":"INRIA","name":"Matthieu Sozeau"},"url":"https://github.com/HoTT/coq/issues/9#issuecomment-12502264"}