{"repository":{"language":"Coq","owner":"jlottes","has_issues":false,"has_wiki":false,"homepage":"http://coq.inria.fr/cocorico/MathClasses","created_at":"2012-04-21T06:03:38-07:00","open_issues":0,"pushed_at":"2012-11-06T18:07:00-08:00","description":"A library of abstract interfaces for mathematical structures in Coq.","watchers":1,"forks":0,"fork":true,"size":368,"stargazers":1,"private":false,"has_downloads":false},"actor_attributes":{"type":"User","name":"James Lottes","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"url":"https://github.com/jlottes/math-classes/compare/4f78f3c14e...993998a864"}