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