{"push_id":724278118,"size":7,"distinct_size":7,"ref":"refs/heads/master","head":"05cf0338b708cc70798f05f69aed93e245674ac2","before":"c1e894ac669bfdef50be60ac9be8ef08f9f083b9","commits":[{"sha":"7e748b188ce9a57cb7213c2a8567645e00c2ecf4","author":{"email":"7fb313bec3d61a866f7d31f033be694a14a64414@gmail.com","name":"TAKAHASHI Yuto"},"message":"Prove theorem 2.9 with an admitted lemma","distinct":true,"url":"https://api.github.com/repos/y-taka-23/concepts-of-proglangs/commits/7e748b188ce9a57cb7213c2a8567645e00c2ecf4"},{"sha":"c74950020b5e7c645d6f6554d61c1d678bb13bc4","author":{"email":"7fb313bec3d61a866f7d31f033be694a14a64414@gmail.com","name":"TAKAHASHI Yuto"},"message":"Prove theorem 2.16","distinct":true,"url":"https://api.github.com/repos/y-taka-23/concepts-of-proglangs/commits/c74950020b5e7c645d6f6554d61c1d678bb13bc4"},{"sha":"edf891b27cf3cd50629ca65adf41382d5611e009","author":{"email":"7fb313bec3d61a866f7d31f033be694a14a64414@gmail.com","name":"TAKAHASHI Yuto"},"message":"Prove theorem 2.17","distinct":true,"url":"https://api.github.com/repos/y-taka-23/concepts-of-proglangs/commits/edf891b27cf3cd50629ca65adf41382d5611e009"},{"sha":"eea65b53b1a7277bcc6299592b69180a75a4c72a","author":{"email":"7fb313bec3d61a866f7d31f033be694a14a64414@gmail.com","name":"TAKAHASHI Yuto"},"message":"Prove theorem 2.19","distinct":true,"url":"https://api.github.com/repos/y-taka-23/concepts-of-proglangs/commits/eea65b53b1a7277bcc6299592b69180a75a4c72a"},{"sha":"9f80a508d3989b54bef274081f243c365a23cbb6","author":{"email":"7fb313bec3d61a866f7d31f033be694a14a64414@gmail.com","name":"TAKAHASHI Yuto"},"message":"Fix the statement of theorem 2.23","distinct":true,"url":"https://api.github.com/repos/y-taka-23/concepts-of-proglangs/commits/9f80a508d3989b54bef274081f243c365a23cbb6"},{"sha":"9158080845c682c5472e396d7740b2599d8a0251","author":{"email":"7fb313bec3d61a866f7d31f033be694a14a64414@gmail.com","name":"TAKAHASHI Yuto"},"message":"Prove theorem 2.24","distinct":true,"url":"https://api.github.com/repos/y-taka-23/concepts-of-proglangs/commits/9158080845c682c5472e396d7740b2599d8a0251"},{"sha":"05cf0338b708cc70798f05f69aed93e245674ac2","author":{"email":"7fb313bec3d61a866f7d31f033be694a14a64414@gmail.com","name":"TAKAHASHI Yuto"},"message":"Prove theorem 2.21","distinct":true,"url":"https://api.github.com/repos/y-taka-23/concepts-of-proglangs/commits/05cf0338b708cc70798f05f69aed93e245674ac2"}]}