{"push_id":1209169148,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"4e620ea4806ff40f628c1007f78b8ab5dd62a9a4","before":"ba57f506dbd6aec0c80a727d89819ef968b5daff","commits":[{"sha":"4e620ea4806ff40f628c1007f78b8ab5dd62a9a4","author":{"name":"João Alpuim","email":"c272f7038506afc4391756d196e899897c9fbfd9@gmail.com"},"message":"Added and_coercion alternative definition. Split extended proofs into submodules.","distinct":true,"url":"https://api.github.com/repos/zhiyuanshi/intersection/commits/4e620ea4806ff40f628c1007f78b8ab5dd62a9a4"}]}
{"actor":{"display_login":"jalpuim"}}