{"repository":{"description":"Intuitionistic S5 logic formalization","watchers":2,"stargazers":2,"forks":0,"fork":false,"size":2056,"owner":"Ayertienna","private":false,"open_issues":12,"has_issues":true,"has_downloads":true,"has_wiki":false,"language":"Coq","created_at":"2012-04-02T06:27:25-07:00","pushed_at":"2013-03-21T06:30:54-07:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"Agata Murawska","email":"95a1ec5b0bb578d6491e838200724603ba635be9@gmail.com"},"url":"https://github.com/Ayertienna/IS5/compare/5ed33c6fb3...626ea7d32e"}