{"ref":"Copyright_cleanup","ref_type":"branch","master_branch":"HOL-Probability","description":"Canonical sources for HOL4 theorem-proving system.   Branch master is where \"mainline development\" occurs.","pusher_type":"user"}
{"actor":{"display_login":"binghe"}}