{"repository":{"watchers":16,"has_wiki":true,"homepage":"http://hol.sourceforge.net","owner":"mn200","stargazers":16,"pushed_at":"2013-01-17T08:51:28-08:00","description":"Canonical sources for HOL4 theorem-proving system.   Branch master is where \"mainline development\" occurs.","forks":4,"has_issues":true,"language":"Standard ML","fork":false,"size":1676,"has_downloads":true,"private":false,"created_at":"2009-10-28T19:47:31-07:00","open_issues":53},"actor_attributes":{"type":"User","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"url":"https://github.com/mn200/HOL/compare/78557627c8...81ec676eb2"}