{"repository":{"description":"Theories in proofs, in TPTP and Mizar","has_wiki":true,"language":"Perl","created_at":"2012/02/28 11:01:24 -0800","watchers":1,"homepage":"","fork":false,"open_issues":0,"size":544,"private":false,"pushed_at":"2012/05/02 07:09:17 -0700","owner":"jessealama","has_issues":true,"forks":1,"has_downloads":true},"actor_attributes":{"name":"Jesse Alama","location":"Lisbon, Portugal","blog":"http://centria.di.fct.unl.pt/~alama/","type":"User","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"url":"https://github.com/jessealama/tptp4mizar/compare/fa67cd20cb...feef87ccec"}