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