{"repository":{"description":"Examples from John Harrison's \"Handbook of Practical Logic and Automated Reasoning\", ported to F#.","watchers":1,"stargazers":1,"forks":0,"fork":true,"size":1660,"owner":"owainlewis","private":false,"open_issues":0,"has_issues":false,"has_downloads":true,"has_wiki":true,"language":"F#","created_at":"2013-11-14T10:47:43-08:00","pushed_at":"2013-09-01T13:32:20-07:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"Joshua Bemman","location":"Pontiac, MI","email":"5c2cbf91617bad867b0bcbcd061f6369b16c80dc@gmail.com"},"url":"https://github.com/owainlewis/fsharp-logic-examples"}