{"repository":{"open_issues":18,"has_wiki":false,"owner":"Ayertienna","created_at":"2012-04-02T06:27:25-07:00","description":"Intuitionistic S5 logic formalization","watchers":2,"has_issues":true,"pushed_at":"2013-01-08T11:07:08-08:00","forks":0,"fork":false,"size":1404,"has_downloads":true,"stargazers":2,"language":"Coq","private":false},"actor_attributes":{"name":"Agata Murawska","type":"User","email":"95a1ec5b0bb578d6491e838200724603ba635be9@gmail.com"},"url":"https://github.com/Ayertienna/IS5/issues/36#issuecomment-12015801"}