{"push_id":1020033415,"size":113,"distinct_size":1,"ref":"refs/heads/dev2","head":"33cb5b465dac2016b705a10cce62e8e66fe560bd","before":"2139dd38dba8821fa0309708521a05e092076920","commits":[{"sha":"db446021a3546c69597a3b39622f92e26a0f2b88","author":{"email":"b7c4baa775b92bf60ed8f6ecd5ac9f457efbb970@gmx.net","name":"Benedikt Ahrens"},"message":"Initial commit","distinct":false,"url":"https://api.github.com/repos/cathlelay/UniMath/commits/db446021a3546c69597a3b39622f92e26a0f2b88"},{"sha":"cbc5f6ff59eca2aa435335ae1e0ac402fe664f15","author":{"email":"b7c4baa775b92bf60ed8f6ecd5ac9f457efbb970@gmx.net","name":"Benedikt Ahrens"},"message":"added first coq files","distinct":false,"url":"https://api.github.com/repos/cathlelay/UniMath/commits/cbc5f6ff59eca2aa435335ae1e0ac402fe664f15"},{"sha":"f757a3b781d30c2224a489ba83cd8c124af1ee61","author":{"email":"b7c4baa775b92bf60ed8f6ecd5ac9f457efbb970@gmx.net","name":"Benedikt Ahrens"},"message":"Makefile and some comments","distinct":false,"url":"https://api.github.com/repos/cathlelay/UniMath/commits/f757a3b781d30c2224a489ba83cd8c124af1ee61"},{"sha":"c66da605b43256a2a15f9086b09b0092d994a081","author":{"email":"b7c4baa775b92bf60ed8f6ecd5ac9f457efbb970@gmx.net","name":"Benedikt Ahrens"},"message":"started folds isos","distinct":false,"url":"https://api.github.com/repos/cathlelay/UniMath/commits/c66da605b43256a2a15f9086b09b0092d994a081"},{"sha":"c0bc288d9d12ec0c2bcb3372c522613caa6753ed","author":{"email":"b7c4baa775b92bf60ed8f6ecd5ac9f457efbb970@gmx.net","name":"Benedikt Ahrens"},"message":"started proof on iso of isos","distinct":false,"url":"https://api.github.com/repos/cathlelay/UniMath/commits/c0bc288d9d12ec0c2bcb3372c522613caa6753ed"},{"sha":"f9c56a3e99b2c075889aee93e02262ef1b95f441","author":{"email":"b7c4baa775b92bf60ed8f6ecd5ac9f457efbb970@gmx.net","name":"Benedikt Ahrens"},"message":"some progress","distinct":false,"url":"https://api.github.com/repos/cathlelay/UniMath/commits/f9c56a3e99b2c075889aee93e02262ef1b95f441"},{"sha":"c6ef17ab25c8151e881fdd3297cb1a12f3219b3f","author":{"email":"b7c4baa775b92bf60ed8f6ecd5ac9f457efbb970@gmx.net","name":"Benedikt Ahrens"},"message":"tiny mods","distinct":false,"url":"https://api.github.com/repos/cathlelay/UniMath/commits/c6ef17ab25c8151e881fdd3297cb1a12f3219b3f"},{"sha":"2abcc05ec57e038bb570f313a0d61fddb8dd1210","author":{"email":"b7c4baa775b92bf60ed8f6ecd5ac9f457efbb970@gmx.net","name":"Benedikt Ahrens"},"message":"lengthy proof, 1/32 thru","distinct":false,"url":"https://api.github.com/repos/cathlelay/UniMath/commits/2abcc05ec57e038bb570f313a0d61fddb8dd1210"},{"sha":"3db6480cefd783b6582f3bb77ff3a7f4d957b799","author":{"email":"b7c4baa775b92bf60ed8f6ecd5ac9f457efbb970@gmx.net","name":"Benedikt Ahrens"},"message":"bit further in proof about iso of types of isos","distinct":false,"url":"https://api.github.com/repos/cathlelay/UniMath/commits/3db6480cefd783b6582f3bb77ff3a7f4d957b799"},{"sha":"7bccb8535c85ed7b50dd91f4bc52bfb1a7690448","author":{"email":"b7c4baa775b92bf60ed8f6ecd5ac9f457efbb970@gmx.net","name":"Benedikt Ahrens"},"message":"need to find common lemmas","distinct":false,"url":"https://api.github.com/repos/cathlelay/UniMath/commits/7bccb8535c85ed7b50dd91f4bc52bfb1a7690448"},{"sha":"cd5af2ec7a68d684a166a7f1613a7f0d940e18ee","author":{"email":"cba0fef17285386956737483f829171a211b13d9@gmail.com","name":"mikeshulman"},"message":"adding tex files","distinct":false,"url":"https://api.github.com/repos/cathlelay/UniMath/commits/cd5af2ec7a68d684a166a7f1613a7f0d940e18ee"},{"sha":"63bf7733eadf067fd82e00621ecb59cb35c63fb6","author":{"email":"b7c4baa775b92bf60ed8f6ecd5ac9f457efbb970@gmx.net","name":"Benedikt Ahrens"},"message":"from iso to folds iso","distinct":false,"url":"https://api.github.com/repos/cathlelay/UniMath/commits/63bf7733eadf067fd82e00621ecb59cb35c63fb6"},{"sha":"1e883f4e4da77eb8df3e554c5334ddd36cb6b1ac","author":{"email":"b7c4baa775b92bf60ed8f6ecd5ac9f457efbb970@gmx.net","name":"Benedikt Ahrens"},"message":"for folds_iso from iso, prepare by giving comp and id for folds isos","distinct":false,"url":"https://api.github.com/repos/cathlelay/UniMath/commits/1e883f4e4da77eb8df3e554c5334ddd36cb6b1ac"},{"sha":"04977e76b34a39774f359a98938332f6c012d3f6","author":{"email":"b7c4baa775b92bf60ed8f6ecd5ac9f457efbb970@gmx.net","name":"Benedikt Ahrens"},"message":"further in folds_isos","distinct":false,"url":"https://api.github.com/repos/cathlelay/UniMath/commits/04977e76b34a39774f359a98938332f6c012d3f6"},{"sha":"e29e0b823c1ce1236ce0f380324ce435408c3329","author":{"email":"b7c4baa775b92bf60ed8f6ecd5ac9f457efbb970@gmx.net","name":"Benedikt Ahrens"},"message":"map from folds_iso a b to folds_iso b a","distinct":false,"url":"https://api.github.com/repos/cathlelay/UniMath/commits/e29e0b823c1ce1236ce0f380324ce435408c3329"},{"sha":"7afb52ffc4208ab88993699a7e645d5c4176f45f","author":{"email":"b7c4baa775b92bf60ed8f6ecd5ac9f457efbb970@gmx.net","name":"Benedikt Ahrens"},"message":"some lemmas about folds isos","distinct":false,"url":"https://api.github.com/repos/cathlelay/UniMath/commits/7afb52ffc4208ab88993699a7e645d5c4176f45f"},{"sha":"9684a25d01d4646478288ef6b7e926a63eb18061","author":{"email":"b7c4baa775b92bf60ed8f6ecd5ac9f457efbb970@gmx.net","name":"Benedikt Ahrens"},"message":"folds_iso determined by phi1","distinct":false,"url":"https://api.github.com/repos/cathlelay/UniMath/commits/9684a25d01d4646478288ef6b7e926a63eb18061"},{"sha":"faa9c9b39cbc001e6a2eb87b6d886e3fb4e63449","author":{"email":"b7c4baa775b92bf60ed8f6ecd5ac9f457efbb970@gmx.net","name":"Benedikt Ahrens"},"message":"finished thm 5.12","distinct":false,"url":"https://api.github.com/repos/cathlelay/UniMath/commits/faa9c9b39cbc001e6a2eb87b6d886e3fb4e63449"},{"sha":"6f355d4f2b90411597360989242ec89976b8a9f3","author":{"email":"cba0fef17285386956737483f829171a211b13d9@gmail.com","name":"mikeshulman"},"message":"draft of halifax abstract","distinct":false,"url":"https://api.github.com/repos/cathlelay/UniMath/commits/6f355d4f2b90411597360989242ec89976b8a9f3"},{"sha":"0259db605821871a57167bd9ea44f42e895b9df4","author":{"email":"cba0fef17285386956737483f829171a211b13d9@gmail.com","name":"mikeshulman"},"message":"Merge branch 'master' of github.com:benediktahrens/folds","distinct":false,"url":"https://api.github.com/repos/cathlelay/UniMath/commits/0259db605821871a57167bd9ea44f42e895b9df4"}]}