{"repository":{"has_wiki":true,"watchers":0,"owner":"adambadura","description":"Mathematical logic library and automatic prover","stargazers":0,"open_issues":0,"created_at":"2012-10-04T22:24:38-07:00","fork":false,"size":0,"has_downloads":true,"pushed_at":"2012-10-04T22:24:39-07:00","forks":0,"has_issues":true,"private":false},"actor_attributes":{"type":"User","name":"Adam Badura","email":"d28267c7c44be1953b3ea2895f391acb64ce8589@o2.pl","company":"ORAD Poland sp. z o.o."},"url":"https://github.com/adambadura/logicpp"}