GitHub PushEvent at 2014-07-23 10:05:04
Repository: coq
Actor: suharahiromichi
Payload: {"shas":[["ef6c59eb0dab309ef631f80c5ea944fb90139142","5b4e67d46d4007cf4cab0ff7c4d6d9e9f9b42b28@gmail.com","progress の補題をすべて証明した。とりあえず完成。","SUHARA Hiromichi",true]],"size":1,"ref":"refs/heads/master","head":"ef6c59eb0dab309ef631f80c5ea944fb90139142"}