{"push_id":767383864,"size":4,"distinct_size":4,"ref":"refs/heads/master","head":"d3929682d69de15a5cc69668c632af62095292a4","before":"2978d8cf839fff19d8e1516e2b21fafb533b82d8","commits":[{"sha":"6c97b4c2e7ac580e7c571561cd498db19aac0a45","author":{"email":"7fb313bec3d61a866f7d31f033be694a14a64414@gmail.com","name":"TAKAHASHI Yuto"},"message":"Prove theorem 4.1","distinct":true,"url":"https://api.github.com/repos/y-taka-23/concepts-of-proglangs/commits/6c97b4c2e7ac580e7c571561cd498db19aac0a45"},{"sha":"3232370120b6940813b2b78ca442ceae93108f9e","author":{"email":"7fb313bec3d61a866f7d31f033be694a14a64414@gmail.com","name":"TAKAHASHI Yuto"},"message":"Define supplemental predicates","distinct":true,"url":"https://api.github.com/repos/y-taka-23/concepts-of-proglangs/commits/3232370120b6940813b2b78ca442ceae93108f9e"},{"sha":"c78a29b83b5e219d01bde9cea9362233b35aad00","author":{"email":"7fb313bec3d61a866f7d31f033be694a14a64414@gmail.com","name":"TAKAHASHI Yuto"},"message":"Define theorem 4.3","distinct":true,"url":"https://api.github.com/repos/y-taka-23/concepts-of-proglangs/commits/c78a29b83b5e219d01bde9cea9362233b35aad00"},{"sha":"d3929682d69de15a5cc69668c632af62095292a4","author":{"email":"7fb313bec3d61a866f7d31f033be694a14a64414@gmail.com","name":"TAKAHASHI Yuto"},"message":"[WIP] Prove theorem 4.3","distinct":true,"url":"https://api.github.com/repos/y-taka-23/concepts-of-proglangs/commits/d3929682d69de15a5cc69668c632af62095292a4"}]}