{"push_id":673222423,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"d987d6cc84fd44d4993dbbf557d810293385d80e","before":"8685e8ad7e56052f6aeec8c4a2c984fff10f2256","commits":[{"sha":"d987d6cc84fd44d4993dbbf557d810293385d80e","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"feat(library/data/stream): simplify corecursion proofs, define interleave operation by corecursion, add one example of proof by bisimulation","distinct":true,"url":"https://api.github.com/repos/leanprover/lean/commits/d987d6cc84fd44d4993dbbf557d810293385d80e"}]}