{"repository":{"created_at":"2009-10-28T19:47:31-07:00","owner":"mn200","has_issues":true,"has_wiki":true,"watchers":13,"pushed_at":"2012-10-08T03:46:56-07:00","forks":2,"stargazers":13,"open_issues":44,"homepage":"http://hol.sourceforge.net","fork":false,"size":1788,"language":"Standard ML","private":false,"has_downloads":true,"description":"Canonical sources for HOL4 theorem-proving system.   Branch master is where \"mainline development\" occurs."},"actor_attributes":{"blog":"http://www.cl.cam.ac.uk/~tt291","company":"University of Cambridge - Computer Laboratory","email":"404d4515db5f7ccdb42980e72d1389d6b14bc06d@cl.cam.ac.uk","type":"User","name":"Thomas Tuerk"},"url":"https://github.com/mn200/HOL/issues/74"}