{"repository":{"owner":"kylehardgrave","created_at":"2012-12-03T21:58:47-08:00","has_downloads":true,"description":"A propositional logic theorem prover for CIS-552.","has_issues":true,"fork":false,"size":332,"language":"Haskell","pushed_at":"2012-12-17T10:45:04-08:00","watchers":0,"forks":0,"open_issues":5,"has_wiki":true,"private":false,"stargazers":0},"actor_attributes":{"name":"Jason S. Mow","blog":"http://www.jasonmow.com","type":"User","location":"Philadelphia, Pennsylvania","email":"68c46a606457643eab92053c1c05574abb26f861@jasonmow.com","company":"Student at University of Pennsylvania"},"url":"https://github.com/kylehardgrave/theorem-prover/compare/40dfadab3e...33fc001918"}