{"repository":{"watchers":2,"has_wiki":false,"owner":"Ayertienna","pushed_at":"2013-01-14T10:04:09-08:00","description":"Intuitionistic S5 logic formalization","stargazers":2,"forks":0,"language":"Coq","fork":false,"size":1564,"has_issues":true,"has_downloads":true,"created_at":"2012-04-02T06:27:25-07:00","open_issues":15,"private":false},"actor_attributes":{"type":"User","name":"Agata Murawska","email":"95a1ec5b0bb578d6491e838200724603ba635be9@gmail.com"},"url":"https://github.com/Ayertienna/IS5/compare/0e31a0efc9...72034e5cea"}