{"push_id":626854362,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"9072f112da82170dbef9bb4c34b9c23315709d2e","before":"8fce6b716494c00ba668ca85a7a0ac8990831299","commits":[{"sha":"05bd6b5fe7e2ed977eedf41d5fb72505459b3003","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"feat(library/data/list): add foldr/foldl equality theorems for permutations","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-osx/commits/05bd6b5fe7e2ed977eedf41d5fb72505459b3003"},{"sha":"c95bd8ba61d72e4faef27c676ac569e3a2413083","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"feat(library/data/list): add erase_dup and theorems","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-osx/commits/c95bd8ba61d72e4faef27c676ac569e3a2413083"},{"sha":"9072f112da82170dbef9bb4c34b9c23315709d2e","author":{"email":"1b60d2ed7158736cbc1353d72a6dc44a6772147f@travis-ci.org","name":"Travis CI"},"message":"feat(library/data/list): add erase_dup and theorems","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-osx/commits/9072f112da82170dbef9bb4c34b9c23315709d2e"}]}