{"repository":{"description":"A proof assistant for Hilbert-style first-order logic","watchers":0,"stargazers":0,"forks":0,"fork":false,"size":0,"owner":"m-alvarez","private":false,"open_issues":0,"has_issues":true,"has_downloads":true,"has_wiki":true,"created_at":"2013-11-18T17:11:01-08:00","pushed_at":"2013-11-18T17:30:28-08:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"Mario Álvarez Picallo","email":"81e7d55ad5d778e1674f60501d47699b7eeffdfc@hotmail.com"},"url":"https://github.com/m-alvarez/lispred/compare/52b9390280...a51aa401f0"}