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