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