{"repository":{"pushed_at":"2013-01-19T17:41:49-08:00","homepage":"","forks":0,"owner":"DanGrayson","created_at":"2012-10-11T07:59:04-07:00","has_wiki":true,"description":"an attempt at making a toy proof checker for experimental purposes","fork":false,"size":1512,"watchers":0,"open_issues":0,"has_issues":true,"language":"OCaml","private":false,"stargazers":0,"has_downloads":true},"actor_attributes":{"email":"2591e5f46f28d303f9dc027d475a5c60d8dea17a@math.uiuc.edu","type":"User","blog":"http://dangrayson.com/","name":"Daniel R. Grayson"},"url":"https://github.com/DanGrayson/checker/compare/df314e0f7f...eb53a754ab"}