{"push_id":823984181,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"4e67021c80a8accdf0c822d60bb78a363f77d200","before":"211a17b3be0aa113f05e492a9da7c39b3ef9430b","commits":[{"sha":"4e67021c80a8accdf0c822d60bb78a363f77d200","author":{"email":"7fb313bec3d61a866f7d31f033be694a14a64414@gmail.com","name":"TAKAHASHI Yuto"},"message":"Prove a branch of lemma 9.3 under some assumptions","distinct":true,"url":"https://api.github.com/repos/y-taka-23/concepts-of-proglangs/commits/4e67021c80a8accdf0c822d60bb78a363f77d200"}]}