{"repository":{"description":"Proving Ground: Tools for Automated Mathematics","homepage":"","watchers":0,"stargazers":0,"forks":0,"fork":true,"size":148,"owner":"idlike2dream","private":false,"open_issues":0,"has_issues":false,"has_downloads":true,"has_wiki":true,"language":"Scala","created_at":"2013-03-29T18:48:55-07:00","pushed_at":"2013-06-01T02:18:27-07:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"Ramana Venkata","company":"Indian Institute of Science","location":"Bangalore","email":"88effffc2c1fd35aad4d511aa150cf27ec359d85@gmail.com"},"url":"https://github.com/idlike2dream/ProvingGround/compare/63b3e4ce14...4d99786208"}