{"repository":{"homepage":"http://dcernst.github.com/IBL-IntroToProof","has_wiki":false,"owner":"dcernst","created_at":"2012-02-04T10:11:01-08:00","description":"IBL task sequence for an introduction to proof course.","watchers":2,"open_issues":4,"has_issues":true,"pushed_at":"2013-02-05T09:40:43-08:00","stargazers":2,"forks":1,"fork":false,"size":164,"has_downloads":true,"private":false},"actor_attributes":{"name":"Dana Ernst","blog":"http://danaernst.com","company":"Northern Arizona University","location":"Flagstaff, AZ","type":"User","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"url":"https://github.com/dcernst/IBL-IntroToProof/compare/5832339809...83eb183dd2"}