{"push_id":1197828915,"size":367,"distinct_size":6,"ref":"refs/heads/rational-number-computation","head":"53d1ad9a020ee1450535745071fea6553a5ac364","before":"9cc0bdbce863a748e2a4429521716a75440b00e8","commits":[{"sha":"501a120eb1d6a9b2f5968dd0633f24bdb5d97a5c","author":{"name":"cathlelay","email":"254b28a5e6410f81d056bba081514ef3c1a3ed21@ias.edu"},"message":"Archemedean (1)","distinct":false,"url":"https://api.github.com/repos/DanGrayson/UniMath/commits/501a120eb1d6a9b2f5968dd0633f24bdb5d97a5c"},{"sha":"23ec18b1fd0c296b54940ea8bfcc06b508707df7","author":{"name":"cathlelay","email":"254b28a5e6410f81d056bba081514ef3c1a3ed21@ias.edu"},"message":"Merge remote-tracking branch 'origin/dev' into dev2","distinct":false,"url":"https://api.github.com/repos/DanGrayson/UniMath/commits/23ec18b1fd0c296b54940ea8bfcc06b508707df7"},{"sha":"3ade86a78a87c0967c49282bae46581cb7923fcd","author":{"name":"cathlelay","email":"254b28a5e6410f81d056bba081514ef3c1a3ed21@ias.edu"},"message":"Merge remote-tracking branch 'origin/dev' into dev2","distinct":false,"url":"https://api.github.com/repos/DanGrayson/UniMath/commits/3ade86a78a87c0967c49282bae46581cb7923fcd"},{"sha":"ab530bd0f0f2252f42662bfec4e22b073d10f46b","author":{"name":"Catherine LelayC","email":"254b28a5e6410f81d056bba081514ef3c1a3ed21@ias.edu"},"message":"NQ is dense in NR","distinct":false,"url":"https://api.github.com/repos/DanGrayson/UniMath/commits/ab530bd0f0f2252f42662bfec4e22b073d10f46b"},{"sha":"6bff0bae086aa8f0d0e93ff864c1aa109242d622","author":{"name":"Catherine LelayC","email":"254b28a5e6410f81d056bba081514ef3c1a3ed21@ias.edu"},"message":"is Q is archimedean, then NQ is archimedean.","distinct":false,"url":"https://api.github.com/repos/DanGrayson/UniMath/commits/6bff0bae086aa8f0d0e93ff864c1aa109242d622"},{"sha":"17e75b31b966933bae14858b5ef937612349fcb4","author":{"name":"Catherine LelayC","email":"254b28a5e6410f81d056bba081514ef3c1a3ed21@ias.edu"},"message":"Merge remote-tracking branch 'origin/master' into dev","distinct":false,"url":"https://api.github.com/repos/DanGrayson/UniMath/commits/17e75b31b966933bae14858b5ef937612349fcb4"},{"sha":"ff7264972e9db77705c7ed80bd7e02ba07e4e1f2","author":{"name":"Catherine LelayC","email":"254b28a5e6410f81d056bba081514ef3c1a3ed21@ias.edu"},"message":"if Q is archimedean, then NR is archimedean.","distinct":false,"url":"https://api.github.com/repos/DanGrayson/UniMath/commits/ff7264972e9db77705c7ed80bd7e02ba07e4e1f2"},{"sha":"b18dbf6a9ae7a95c63b5c9d08c40c05ea3b75bb4","author":{"name":"Catherine Lelay","email":"254b28a5e6410f81d056bba081514ef3c1a3ed21@ias.edu"},"message":"if Q is archimedean, then R is archimedean.","distinct":false,"url":"https://api.github.com/repos/DanGrayson/UniMath/commits/b18dbf6a9ae7a95c63b5c9d08c40c05ea3b75bb4"},{"sha":"63af6b64e16a44e870086cd6dc2108cf3ddd17cd","author":{"name":"Catherine Lelay","email":"254b28a5e6410f81d056bba081514ef3c1a3ed21@ias.edu"},"message":"Prove admitted lemmas","distinct":false,"url":"https://api.github.com/repos/DanGrayson/UniMath/commits/63af6b64e16a44e870086cd6dc2108cf3ddd17cd"},{"sha":"b7fab0e4abb1c499e6dbe43910faf1b68e160c00","author":{"name":"Catherine Lelay","email":"254b28a5e6410f81d056bba081514ef3c1a3ed21@ias.edu"},"message":"Q is Archimedean !!!","distinct":false,"url":"https://api.github.com/repos/DanGrayson/UniMath/commits/b7fab0e4abb1c499e6dbe43910faf1b68e160c00"},{"sha":"1ff12f71ca8f37e168cf802401a14e9cb1e77e73","author":{"name":"Catherine Lelay","email":"254b28a5e6410f81d056bba081514ef3c1a3ed21@ias.edu"},"message":"Admitted lemma","distinct":false,"url":"https://api.github.com/repos/DanGrayson/UniMath/commits/1ff12f71ca8f37e168cf802401a14e9cb1e77e73"},{"sha":"99a9edd7d0283d068c39925b5db6e5e69d8ba8a3","author":{"name":"Catherine Lelay","email":"254b28a5e6410f81d056bba081514ef3c1a3ed21@ias.edu"},"message":"Merge remote-tracking branch 'origin/dev' into dev2","distinct":false,"url":"https://api.github.com/repos/DanGrayson/UniMath/commits/99a9edd7d0283d068c39925b5db6e5e69d8ba8a3"},{"sha":"e144b23dae9fb82fbd06d03a894bc027beef38a1","author":{"name":"Catherine Lelay","email":"254b28a5e6410f81d056bba081514ef3c1a3ed21@ias.edu"},"message":"fix a bug","distinct":false,"url":"https://api.github.com/repos/DanGrayson/UniMath/commits/e144b23dae9fb82fbd06d03a894bc027beef38a1"},{"sha":"810952bf5cee8d64ce1db39f8832e60a3f259c7a","author":{"name":"cathlelay","email":"254b28a5e6410f81d056bba081514ef3c1a3ed21@ias.edu"},"message":"Missing theorem","distinct":false,"url":"https://api.github.com/repos/DanGrayson/UniMath/commits/810952bf5cee8d64ce1db39f8832e60a3f259c7a"},{"sha":"9a669ff810d034d86d498aa9fadbe78484f8964d","author":{"name":"cathlelay","email":"254b28a5e6410f81d056bba081514ef3c1a3ed21@ias.edu"},"message":"Abstract Reals (1)","distinct":false,"url":"https://api.github.com/repos/DanGrayson/UniMath/commits/9a669ff810d034d86d498aa9fadbe78484f8964d"},{"sha":"ca943628698a629e36e6ec48533be5d7dc36274c","author":{"name":"Catherine Lelay","email":"254b28a5e6410f81d056bba081514ef3c1a3ed21@ias.edu"},"message":"remove hznattohq","distinct":false,"url":"https://api.github.com/repos/DanGrayson/UniMath/commits/ca943628698a629e36e6ec48533be5d7dc36274c"},{"sha":"f67da985676e32d21c9084b8d265a6d8f77cacf3","author":{"name":"Catherine Lelay","email":"254b28a5e6410f81d056bba081514ef3c1a3ed21@ias.edu"},"message":"Merge branch 'dev2' of https://github.com/cathlelay/UniMath into dev2","distinct":false,"url":"https://api.github.com/repos/DanGrayson/UniMath/commits/f67da985676e32d21c9084b8d265a6d8f77cacf3"},{"sha":"1edd520698e1b3d8708f33f5a1796caec352e93e","author":{"name":"Catherine Lelay","email":"254b28a5e6410f81d056bba081514ef3c1a3ed21@ias.edu"},"message":"Later...","distinct":false,"url":"https://api.github.com/repos/DanGrayson/UniMath/commits/1edd520698e1b3d8708f33f5a1796caec352e93e"},{"sha":"e9b43ddf9ab6fe2f050ff77b6ac4a194bf0c7c63","author":{"name":"Catherine Lelay","email":"254b28a5e6410f81d056bba081514ef3c1a3ed21@ias.edu"},"message":"Merge remote-tracking branch 'origin/master' into dev","distinct":false,"url":"https://api.github.com/repos/DanGrayson/UniMath/commits/e9b43ddf9ab6fe2f050ff77b6ac4a194bf0c7c63"},{"sha":"f96c42a08accb1c26618cda7dedd5747fbfebc86","author":{"name":"Catherine Lelay","email":"254b28a5e6410f81d056bba081514ef3c1a3ed21@ias.edu"},"message":"Dedekind completeness","distinct":false,"url":"https://api.github.com/repos/DanGrayson/UniMath/commits/f96c42a08accb1c26618cda7dedd5747fbfebc86"}]}
{"actor":{"display_login":"DanGrayson"}}