{"repository":{"description":"Exploring prover ideas for intuitionistic logic","homepage":"","watchers":3,"stargazers":3,"forks":0,"fork":false,"size":140,"owner":"mbenke","private":false,"open_issues":0,"has_issues":true,"has_downloads":true,"has_wiki":true,"language":"Haskell","created_at":"2012-04-02T03:26:19-07:00","pushed_at":"2013-12-24T23:50:36-08:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"Marcin Benke","location":"Warszawa, Poland","email":"bf82ebfd5518d7d93b6127e2c3e504fdb2f4ff05@gmail.com"},"url":"https://github.com/mbenke/vera/compare/8d9a0792b8...e60c45d735"}