{"push_id":755186269,"size":5,"distinct_size":5,"ref":"refs/heads/master","head":"8b057c2e298a99e1e57a796305397f3d0cbdcf15","before":"b37ffa943406236ec09321698c3f912e140675b0","commits":[{"sha":"23118371d1e89594656c840e6919aab832ead602","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"refactor(library/aliases): cleanup","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/23118371d1e89594656c840e6919aab832ead602"},{"sha":"1cacac2789c97df58541ace0638ff3916a0d1607","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"feat(library/data/nat/parity): add auxiliary lemma","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/1cacac2789c97df58541ace0638ff3916a0d1607"},{"sha":"6fd3affeb11aa8d0db4adddcbffc67acafe47274","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"feat(library/data/finset/equiv): show that (finset nat) is isomorphic to nat","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/6fd3affeb11aa8d0db4adddcbffc67acafe47274"},{"sha":"cee9d6b0923e206dd2c90b343c097e710e6e615a","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"feat(library/data/hf): define Hereditarily finite sets","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/cee9d6b0923e206dd2c90b343c097e710e6e615a"},{"sha":"8b057c2e298a99e1e57a796305397f3d0cbdcf15","author":{"email":"1b60d2ed7158736cbc1353d72a6dc44a6772147f@travis-ci.org","name":"Travis CI"},"message":"feat(library/data/hf): define Hereditarily finite sets","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/8b057c2e298a99e1e57a796305397f3d0cbdcf15"}]}