{"repository":{"description":"A library for Proof Theory (especially Proof Compression) in Scala.","homepage":"","watchers":7,"stargazers":7,"forks":11,"fork":false,"size":368,"owner":"Paradoxika","private":false,"open_issues":25,"has_issues":true,"has_downloads":true,"has_wiki":true,"language":"Scala","created_at":"2012-06-02T11:39:03-07:00","pushed_at":"2013-04-09T10:11:38-07:00","master_branch":"develop","organization":"Paradoxika"},"actor_attributes":{"type":"User","name":"S P Suresh","company":"Chennai Mathematical Institute","blog":"http://www.cmi.ac.in/~spsuresh","location":"Chennai, Tamil Nadu, India","email":"2537914ed553d2603a73171571c2b7d3d12fa9a3@gmail.com"},"url":"https://github.com/vajrabhrt/Skeptik"}