{"push_id":537840795,"size":4,"distinct_size":4,"ref":"refs/heads/master","head":"34db208c8f22e5e349a7e600f822d624be43c6de","before":"4812afc0e1b7367b91132d9b334556068586fc93","commits":[{"sha":"376126241e0c519dadfd19a7b6752b348db57dcd","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"fix(library/definitional/equations): typo and bug","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/376126241e0c519dadfd19a7b6752b348db57dcd"},{"sha":"42354cd4faf3ca94f9a0d00d24b9607fc343dfe9","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"feat(library/locals): add auxiliary templates","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/42354cd4faf3ca94f9a0d00d24b9607fc343dfe9"},{"sha":"bdfa9190985449fb3a8eeef385013936993ddf2a","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"feat(library/definitional/equations): add brec_on based compilation","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/bdfa9190985449fb3a8eeef385013936993ddf2a"},{"sha":"34db208c8f22e5e349a7e600f822d624be43c6de","author":{"email":"1b60d2ed7158736cbc1353d72a6dc44a6772147f@travis-ci.org","name":"Travis CI"},"message":"feat(library/definitional/equations): add brec_on based compilation","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/34db208c8f22e5e349a7e600f822d624be43c6de"}]}