{"repository":{"has_downloads":true,"stargazers":13,"owner":"jack-pappas","created_at":"2012-09-18T06:17:06-07:00","pushed_at":"2013-01-10T15:46:45-08:00","forks":4,"has_wiki":true,"language":"F#","description":"Examples from John Harrison's \"Handbook of Practical Logic and Automated Reasoning\", ported to F#.","fork":false,"size":1272,"open_issues":0,"has_issues":true,"private":false,"watchers":13},"actor_attributes":{"type":"User","name":"Eric Taucher","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"url":"https://github.com/jack-pappas/fsharp-logic-examples/compare/71e81ec6c1...079ab8138a"}