{"repository":{"description":"LeanCoP - Lean Connection-Based Theorem Proving","homepage":"http://www.leancop.de/","watchers":1,"stargazers":1,"forks":0,"fork":false,"size":460,"owner":"adrianomelo","private":false,"open_issues":0,"has_issues":true,"has_downloads":true,"has_wiki":true,"language":"Prolog","created_at":"2012-04-04T13:09:22-07:00","pushed_at":"2013-03-10T22:07:36-07:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"Adriano Melo","company":"Nokia Institute of Technology - INdT","blog":"adrianomelo.com","location":"Recife - PE","email":"64b2b6d12bfe4baae7dad3d018f8cbf6b0e7a044@adrianomelo.com"},"url":"https://github.com/adrianomelo/leancop/compare/d2b729800a...e47d6d2653"}