{"repository":{"description":"Formalization of unification in Coq","watchers":0,"stargazers":0,"forks":0,"fork":false,"size":160,"owner":"mattam82","private":false,"open_issues":0,"has_issues":true,"has_downloads":true,"has_wiki":true,"language":"Coq","created_at":"2013-10-29T06:55:16-07:00","pushed_at":"2013-10-29T09:42:41-07:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"Matthieu Sozeau","company":"INRIA","blog":"mattam.org","location":"Paris, Princeton, ...","email":"6890fa1d738eb4a06cf1d2634a31d4aac12540b7@mattam.org"},"url":"https://github.com/mattam82/Coq-unif/compare/c5df95e8b0...a554d5b550"}