{"push_id":1013980427,"size":4,"distinct_size":4,"ref":"refs/heads/master","head":"50722598753e8a298f70424bbecb5299e41dc822","before":"1b9e158d189b6567078825d9182fd171546accff","commits":[{"sha":"d4f0ce0eab1d29d93ac11a1d59d4d9978eaa2cd6","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"fix(library/local_context): typo","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-osx/commits/d4f0ce0eab1d29d93ac11a1d59d4d9978eaa2cd6"},{"sha":"5e14b4ebe838137480157dbf6ac5cfb7213e3697","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"fix(library,hott): avoid rewrite with patterns of the form (?M ...)","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-osx/commits/5e14b4ebe838137480157dbf6ac5cfb7213e3697"},{"sha":"0c4a6d3c5e11f59dc89cb6fd5f34b5c722b49f15","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"chore(data/set): cleanup proofs to make them less dependent on unifier heuristics","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-osx/commits/0c4a6d3c5e11f59dc89cb6fd5f34b5c722b49f15"},{"sha":"50722598753e8a298f70424bbecb5299e41dc822","author":{"email":"1b60d2ed7158736cbc1353d72a6dc44a6772147f@travis-ci.org","name":"Travis CI"},"message":"chore(data/set): cleanup proofs to make them less dependent on unifier heuristics","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-osx/commits/50722598753e8a298f70424bbecb5299e41dc822"}]}