{"repository":{"homepage":"http://hol.sourceforge.net","has_downloads":true,"owner":"mn200","pushed_at":"2012-08-20T12:40:09-07:00","forks":4,"language":"Standard ML","created_at":"2009-10-28T19:47:31-07:00","description":"Canonical sources for HOL4 theorem-proving system.   Branch master is where \"mainline development\" occurs.","has_issues":true,"has_wiki":true,"watchers":12,"fork":false,"size":1636,"open_issues":47,"private":false,"stargazers":12},"actor_attributes":{"name":"Ramana Kumar","type":"User","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"url":"https://github.com/mn200/HOL/compare/31279a8157...f82b9dda51"}