{"repository":{"description":"Cheatsheet for theorem proving in ATS","watchers":0,"stargazers":0,"forks":0,"fork":false,"size":0,"owner":"allanlw","private":false,"open_issues":0,"has_issues":true,"has_downloads":true,"has_wiki":true,"created_at":"2013-11-06T16:14:36-08:00","pushed_at":"2013-11-06T16:14:49-08:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"Allan Wirth","blog":"http://allanwirth.com","location":"Boston, MA","email":"3467d2f86b976ae9f474f73a80f3bfe04b85d8af@allanwirth.com"},"url":"https://github.com/allanlw/ATS-proving-cheatsheet/compare/master"}