{"push_id":1414959304,"size":11,"distinct_size":2,"ref":"refs/heads/lattice","head":"618c135694dac120d58f844d9381132c7a0081d8","before":"6dc1802195468861a64a9aaac886bab803d5dc60","commits":[{"sha":"f1763525dd7e62a8d630cc13983aa5b729fb36aa","author":{"name":"mweav","email":"0b0bc14aa5523faf1625a6d0dde71fba417f1f8a@cs.princeton.edu"},"message":"Added ElementsOp.v","distinct":false,"url":"https://api.github.com/repos/cathlelay/UniMath/commits/f1763525dd7e62a8d630cc13983aa5b729fb36aa"},{"sha":"695f66458b114e97f46594976de5a3e9c384deba","author":{"name":"Ralph Matthes","email":"95b46a88ce3f124e592f954f33d536fa8ac6d4ee@irit.fr"},"message":"the lemma isaprop_bracket that had been forgotten to be stated explicitly","distinct":false,"url":"https://api.github.com/repos/cathlelay/UniMath/commits/695f66458b114e97f46594976de5a3e9c384deba"},{"sha":"6036242362eec1b4134fb19e10f52a8ea196f0d7","author":{"name":"Anders Mörtberg","email":"1a709f3f834d82a3126a4da0f1de7ed3eaae04d8@gmail.com"},"message":"introduce limits and colimits of a specific shape","distinct":false,"url":"https://api.github.com/repos/cathlelay/UniMath/commits/6036242362eec1b4134fb19e10f52a8ea196f0d7"},{"sha":"9a93f21142d1ee2c84674ee6a970d564c5a5013a","author":{"name":"Anders Mörtberg","email":"1a709f3f834d82a3126a4da0f1de7ed3eaae04d8@gmail.com"},"message":"wip","distinct":false,"url":"https://api.github.com/repos/cathlelay/UniMath/commits/9a93f21142d1ee2c84674ee6a970d564c5a5013a"},{"sha":"3520809e7f6b6af964c2c054a8fd5e2fd9b6dd74","author":{"name":"Anders Mörtberg","email":"1a709f3f834d82a3126a4da0f1de7ed3eaae04d8@gmail.com"},"message":"use colims_of_shape everywhere","distinct":false,"url":"https://api.github.com/repos/cathlelay/UniMath/commits/3520809e7f6b6af964c2c054a8fd5e2fd9b6dd74"},{"sha":"2e2436a002221dda04e93eb03007698982c60cf7","author":{"name":"Anders Mörtberg","email":"1a709f3f834d82a3126a4da0f1de7ed3eaae04d8@gmail.com"},"message":"fix lims","distinct":false,"url":"https://api.github.com/repos/cathlelay/UniMath/commits/2e2436a002221dda04e93eb03007698982c60cf7"},{"sha":"88abcb05148e8d964a2173be2b2f955b104b62fc","author":{"name":"Benedikt Ahrens","email":"ebd3ac37d3eb4aa643522e2c1b1fe8cde6fb62d3@gmx.net"},"message":"Merge pull request #492 from mweav/ElementsOp\n\nAdded modification of category of elements specialized for presheaves","distinct":false,"url":"https://api.github.com/repos/cathlelay/UniMath/commits/88abcb05148e8d964a2173be2b2f955b104b62fc"},{"sha":"606b4d8cdcec52189bc15a4734d2f57cd4cdcaf7","author":{"name":"Benedikt Ahrens","email":"ebd3ac37d3eb4aa643522e2c1b1fe8cde6fb62d3@gmx.net"},"message":"Merge pull request #494 from rmatthes/hssisaprop\n\nthe lemma isaprop_bracket that had been forgotten","distinct":false,"url":"https://api.github.com/repos/cathlelay/UniMath/commits/606b4d8cdcec52189bc15a4734d2f57cd4cdcaf7"},{"sha":"7c4c43b22dc36b38a118d45ef0c21b14947870e5","author":{"name":"Benedikt Ahrens","email":"ebd3ac37d3eb4aa643522e2c1b1fe8cde6fb62d3@gmx.net"},"message":"Merge pull request #501 from mortberg/fixcolims\n\nColimits of a specific shape","distinct":false,"url":"https://api.github.com/repos/cathlelay/UniMath/commits/7c4c43b22dc36b38a118d45ef0c21b14947870e5"},{"sha":"e1545647740958fadd6e418a8328ea25ea4e1ab2","author":{"name":"cathlelay","email":"254b28a5e6410f81d056bba081514ef3c1a3ed21@ias.edu"},"message":"Merge remote-tracking branch 'origin/master' into lattice","distinct":true,"url":"https://api.github.com/repos/cathlelay/UniMath/commits/e1545647740958fadd6e418a8328ea25ea4e1ab2"},{"sha":"618c135694dac120d58f844d9381132c7a0081d8","author":{"name":"cathlelay","email":"254b28a5e6410f81d056bba081514ef3c1a3ed21@ias.edu"},"message":"reference and table of contents","distinct":true,"url":"https://api.github.com/repos/cathlelay/UniMath/commits/618c135694dac120d58f844d9381132c7a0081d8"}]}
{"actor":{"display_login":"cathlelay"}}