{"repository":{"description":"An LCF-style proof assistant for minimal propositional logic","watchers":0,"stargazers":0,"forks":0,"fork":false,"size":0,"owner":"kelleyvanevert","private":false,"open_issues":0,"has_issues":true,"has_downloads":true,"has_wiki":true,"created_at":"2013-05-12T05:44:01-07:00","pushed_at":"2013-05-12T05:44:01-07:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"Kelley van Evert","blog":"http://kelleyvanevert.nl/","location":"Nijmegen","email":"1fc361281c920b1eda865e4f6529641081af378b@gmail.com"},"url":"https://github.com/kelleyvanevert/minprop_pa"}