{"repository":{"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.","owner":"mn200","has_downloads":true,"stargazers":12,"has_wiki":true,"watchers":12,"fork":false,"size":1592,"homepage":"http://hol.sourceforge.net","private":false,"open_issues":44,"has_issues":true,"pushed_at":"2012-08-14T20:59:02-07:00"},"actor_attributes":{"name":"Michael Norrish","blog":"http://corollary.artefact.org.nz","company":"NICTA","location":"Canberra","email":"5b271689e2a5be36b59ea0b1716899fe80ad26c5@nicta.com.au","type":"User"},"url":"https://github.com/mn200/HOL/issues/64"}