{"repository":{"owner":"namin","has_downloads":true,"created_at":"2013-01-08T14:53:08-08:00","description":"A Declarative Theorem Prover for First-Order Classical Logic","watchers":7,"language":"Scheme","open_issues":0,"has_wiki":true,"pushed_at":"2013-01-17T01:40:19-08:00","stargazers":7,"forks":2,"fork":false,"size":160,"has_issues":true,"private":false},"actor_attributes":{"company":"Pet Tomato","blog":"http://pettomato.com","email":"7ea35d812706d9213868749011af1ed4fa2f6aa0@pettomato.com","name":"Austin Haas","type":"User","location":"Portland, OR"},"url":"https://github.com/austinhaas/leanTAP"}