{"repository":{"stargazers":0,"owner":"almpc","created_at":"2012-12-23T05:25:14-08:00","homepage":"http://hol.sourceforge.net","open_issues":0,"has_downloads":true,"pushed_at":"2013-01-07T01:31:01-08:00","description":"Canonical sources for HOL4 theorem-proving system.   Branch master is where \"mainline development\" occurs.","forks":0,"has_issues":false,"fork":true,"size":184,"has_wiki":true,"language":"Standard ML","watchers":0,"private":false},"actor_attributes":{"type":"User","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"url":"https://github.com/almpc/HOL/compare/60c1defd0b...99360346f1"}