{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":672509955,"defaultBranch":"main","name":"collChoSoWel","ownerLogin":"AdrienChampion","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-07-30T10:33:11.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/7377723?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1690713191.0","currentOid":""},"activityList":{"items":[{"before":"ed914567fb1f75239d48639fb6f8b2b0b67f4780","after":"344a4f69f6db83fc64b53928f51117c9c8d767e1","ref":"refs/heads/main","pushedAt":"2023-09-09T09:19:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AdrienChampion","name":"Adrien Champion","path":"/AdrienChampion","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7377723?s=80&v=4"},"commit":{"message":"chore: minor import tweaks","shortMessageHtmlLink":"chore: minor import tweaks"}},{"before":"d245872855d65161ca60094a7047d632940b3ca2","after":"ed914567fb1f75239d48639fb6f8b2b0b67f4780","ref":"refs/heads/main","pushedAt":"2023-09-06T16:42:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AdrienChampion","name":"Adrien Champion","path":"/AdrienChampion","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7377723?s=80&v=4"},"commit":{"message":"chore: doc effort + minor tweaks","shortMessageHtmlLink":"chore: doc effort + minor tweaks"}},{"before":"1f03107d7e2abdf522f7dbc8836c5f0e11b800c9","after":"d245872855d65161ca60094a7047d632940b3ca2","ref":"refs/heads/main","pushedAt":"2023-09-03T08:38:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AdrienChampion","name":"Adrien Champion","path":"/AdrienChampion","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7377723?s=80&v=4"},"commit":{"message":"chore: add docs to section 1.1","shortMessageHtmlLink":"chore: add docs to section 1.1"}},{"before":"cbb9ecfdae9e67a1c2a216f2947345ecffffbf65","after":"1f03107d7e2abdf522f7dbc8836c5f0e11b800c9","ref":"refs/heads/main","pushedAt":"2023-09-03T08:13:39.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"AdrienChampion","name":"Adrien Champion","path":"/AdrienChampion","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7377723?s=80&v=4"},"commit":{"message":"chore: docgen does not build, deactivating for now","shortMessageHtmlLink":"chore: docgen does not build, deactivating for now"}},{"before":"98bfd6fd254333d3ba6dd7b680d7e584171b9790","after":"cbb9ecfdae9e67a1c2a216f2947345ecffffbf65","ref":"refs/heads/main","pushedAt":"2023-09-02T15:23:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AdrienChampion","name":"Adrien Champion","path":"/AdrienChampion","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7377723?s=80&v=4"},"commit":{"message":"chore: update to latest nightly","shortMessageHtmlLink":"chore: update to latest nightly"}},{"before":"5fbd57b2cc8d25af6b678197f59dcee964484c75","after":"98bfd6fd254333d3ba6dd7b680d7e584171b9790","ref":"refs/heads/main","pushedAt":"2023-09-02T14:32:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AdrienChampion","name":"Adrien Champion","path":"/AdrienChampion","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7377723?s=80&v=4"},"commit":{"message":"chore: proof cleanup","shortMessageHtmlLink":"chore: proof cleanup"}},{"before":"3b5a1b1fc1494d2eb3b56a83e0d8b16cc2bfd876","after":"5fbd57b2cc8d25af6b678197f59dcee964484c75","ref":"refs/heads/main","pushedAt":"2023-09-01T15:46:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AdrienChampion","name":"Adrien Champion","path":"/AdrienChampion","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7377723?s=80&v=4"},"commit":{"message":"feat: and that's how you prove arrow's theorem","shortMessageHtmlLink":"feat: and that's how you prove arrow's theorem"}},{"before":"980263147f78fc6e6f76e574c5af592491c5958c","after":"3b5a1b1fc1494d2eb3b56a83e0d8b16cc2bfd876","ref":"refs/heads/main","pushedAt":"2023-08-31T09:47:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AdrienChampion","name":"Adrien Champion","path":"/AdrienChampion","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7377723?s=80&v=4"},"commit":{"message":"feat: lemma 3.a, arrow is next","shortMessageHtmlLink":"feat: lemma 3.a, arrow is next"}},{"before":"1f836e2f964fe2b81ff56e93c2134b1fed5c0336","after":"980263147f78fc6e6f76e574c5af592491c5958c","ref":"refs/heads/main","pushedAt":"2023-08-30T22:41:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AdrienChampion","name":"Adrien Champion","path":"/AdrienChampion","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7377723?s=80&v=4"},"commit":{"message":"feat: one more step towards arrow","shortMessageHtmlLink":"feat: one more step towards arrow"}},{"before":"459132b73cfb95e0d55af361942e9bd2e042f68f","after":"1f836e2f964fe2b81ff56e93c2134b1fed5c0336","ref":"refs/heads/main","pushedAt":"2023-08-30T22:33:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AdrienChampion","name":"Adrien Champion","path":"/AdrienChampion","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7377723?s=80&v=4"},"commit":{"message":"feat: building towards arrow","shortMessageHtmlLink":"feat: building towards arrow"}},{"before":"f550c98586f57741bb7d450bd5109e6cc11c5ec3","after":"459132b73cfb95e0d55af361942e9bd2e042f68f","ref":"refs/heads/main","pushedAt":"2023-08-28T08:46:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AdrienChampion","name":"Adrien Champion","path":"/AdrienChampion","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7377723?s=80&v=4"},"commit":{"message":"feat: chapter3, main concepts preparing from arrow","shortMessageHtmlLink":"feat: chapter3, main concepts preparing from arrow"}},{"before":"c9ecc342f91e632acc20284a153585bb06462aa9","after":"f550c98586f57741bb7d450bd5109e6cc11c5ec3","ref":"refs/heads/main","pushedAt":"2023-08-27T22:41:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AdrienChampion","name":"Adrien Champion","path":"/AdrienChampion","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7377723?s=80&v=4"},"commit":{"message":"feat: lemma 2.h, done with chapter 2","shortMessageHtmlLink":"feat: lemma 2.h, done with chapter 2"}},{"before":"ff7645d43c15952dea60c6c7e9f79bee252a7568","after":"c9ecc342f91e632acc20284a153585bb06462aa9","ref":"refs/heads/main","pushedAt":"2023-08-27T16:53:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AdrienChampion","name":"Adrien Champion","path":"/AdrienChampion","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7377723?s=80&v=4"},"commit":{"message":"feat: most of chapter 2 done, minor revamps","shortMessageHtmlLink":"feat: most of chapter 2 done, minor revamps"}},{"before":"105bf0fc23dbcc5e8619bc3dcce2d8759371e66b","after":"ff7645d43c15952dea60c6c7e9f79bee252a7568","ref":"refs/heads/main","pushedAt":"2023-08-26T18:42:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AdrienChampion","name":"Adrien Champion","path":"/AdrienChampion","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7377723?s=80&v=4"},"commit":{"message":"chore: minor cleanup","shortMessageHtmlLink":"chore: minor cleanup"}},{"before":"92155971821cc1126bc438b4a879094ae6b369e9","after":"105bf0fc23dbcc5e8619bc3dcce2d8759371e66b","ref":"refs/heads/main","pushedAt":"2023-08-26T18:26:33.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"AdrienChampion","name":"Adrien Champion","path":"/AdrienChampion","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7377723?s=80&v=4"},"commit":{"message":"feat: all lemmas from chapter 1","shortMessageHtmlLink":"feat: all lemmas from chapter 1"}},{"before":"36ac5755a3bdf9f35a79aa5708008edf64295443","after":"92155971821cc1126bc438b4a879094ae6b369e9","ref":"refs/heads/main","pushedAt":"2023-08-26T14:18:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AdrienChampion","name":"Adrien Champion","path":"/AdrienChampion","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7377723?s=80&v=4"},"commit":{"message":"chore: better instance inference logic, cleanup","shortMessageHtmlLink":"chore: better instance inference logic, cleanup"}},{"before":"79d2ce860839bbc02248c408a7104525d5c5b388","after":"36ac5755a3bdf9f35a79aa5708008edf64295443","ref":"refs/heads/main","pushedAt":"2023-08-26T12:14:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AdrienChampion","name":"Adrien Champion","path":"/AdrienChampion","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7377723?s=80&v=4"},"commit":{"message":"feat: lemma_1_m (cex part) and lemma_1_n","shortMessageHtmlLink":"feat: lemma_1_m (cex part) and lemma_1_n"}},{"before":"30ef65ecd614b20b748e979c63b26f483b9f55fe","after":"79d2ce860839bbc02248c408a7104525d5c5b388","ref":"refs/heads/main","pushedAt":"2023-08-24T16:40:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AdrienChampion","name":"Adrien Champion","path":"/AdrienChampion","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7377723?s=80&v=4"},"commit":{"message":"chore: more minor docs","shortMessageHtmlLink":"chore: more minor docs"}},{"before":"6e1eee26ac610f8afb7f34fbbb19d8dc042f6103","after":"30ef65ecd614b20b748e979c63b26f483b9f55fe","ref":"refs/heads/main","pushedAt":"2023-08-24T16:29:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AdrienChampion","name":"Adrien Champion","path":"/AdrienChampion","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7377723?s=80&v=4"},"commit":{"message":"chore: minor docs","shortMessageHtmlLink":"chore: minor docs"}},{"before":"b38330304a53c09c8272069b2cdacae07f56ef6b","after":"6e1eee26ac610f8afb7f34fbbb19d8dc042f6103","ref":"refs/heads/main","pushedAt":"2023-08-24T16:27:42.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"AdrienChampion","name":"Adrien Champion","path":"/AdrienChampion","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7377723?s=80&v=4"},"commit":{"message":"feat: lemma 1.k + dep updates + revamp","shortMessageHtmlLink":"feat: lemma 1.k + dep updates + revamp"}},{"before":"46075d941884e60c5beafb76dc96fea820ee5ca0","after":"b38330304a53c09c8272069b2cdacae07f56ef6b","ref":"refs/heads/main","pushedAt":"2023-08-20T11:56:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AdrienChampion","name":"Adrien Champion","path":"/AdrienChampion","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7377723?s=80&v=4"},"commit":{"message":"feat: lemma 1.i :D","shortMessageHtmlLink":"feat: lemma 1.i :D"}},{"before":"8fc77c061e04c86f8dad351b6b9a1018a1cd32c6","after":"46075d941884e60c5beafb76dc96fea820ee5ca0","ref":"refs/heads/main","pushedAt":"2023-08-20T08:16:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AdrienChampion","name":"Adrien Champion","path":"/AdrienChampion","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7377723?s=80&v=4"},"commit":{"message":"feat: almost done with lemma 1.i","shortMessageHtmlLink":"feat: almost done with lemma 1.i"}},{"before":"18357e80bd277ed3c31cecb93a1ce0824e28895f","after":"8fc77c061e04c86f8dad351b6b9a1018a1cd32c6","ref":"refs/heads/main","pushedAt":"2023-08-18T08:46:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AdrienChampion","name":"Adrien Champion","path":"/AdrienChampion","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7377723?s=80&v=4"},"commit":{"message":"feat: totalizer to total order","shortMessageHtmlLink":"feat: totalizer to total order"}},{"before":"1accfca51a28d8ae3e6e2e5bbcfe5911066c586f","after":"18357e80bd277ed3c31cecb93a1ce0824e28895f","ref":"refs/heads/main","pushedAt":"2023-08-17T09:57:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AdrienChampion","name":"Adrien Champion","path":"/AdrienChampion","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7377723?s=80&v=4"},"commit":{"message":"feat: `addMissing` done with lemmas","shortMessageHtmlLink":"feat: <code>addMissing</code> done with lemmas"}},{"before":"ec04b651767a83d63ceda5253089e630a527541c","after":"1accfca51a28d8ae3e6e2e5bbcfe5911066c586f","ref":"refs/heads/main","pushedAt":"2023-08-16T23:26:42.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"AdrienChampion","name":"Adrien Champion","path":"/AdrienChampion","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7377723?s=80&v=4"},"commit":{"message":"chore: more cleanup","shortMessageHtmlLink":"chore: more cleanup"}},{"before":"88216de5ac4a2b42421c66e479c586be0575fb32","after":"ec04b651767a83d63ceda5253089e630a527541c","ref":"refs/heads/main","pushedAt":"2023-08-16T09:32:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AdrienChampion","name":"Adrien Champion","path":"/AdrienChampion","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7377723?s=80&v=4"},"commit":{"message":"chore: minor fix","shortMessageHtmlLink":"chore: minor fix"}},{"before":"2dd647a447efbdbf1522096cbcc9419adc33b864","after":"88216de5ac4a2b42421c66e479c586be0575fb32","ref":"refs/heads/main","pushedAt":"2023-08-16T09:31:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AdrienChampion","name":"Adrien Champion","path":"/AdrienChampion","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7377723?s=80&v=4"},"commit":{"message":"chore: working towards subrel lemma","shortMessageHtmlLink":"chore: working towards subrel lemma"}},{"before":"c17cf4e2dcd129c2c1c07b8a3a6fc08d8d0435f6","after":"2dd647a447efbdbf1522096cbcc9419adc33b864","ref":"refs/heads/main","pushedAt":"2023-08-15T14:50:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AdrienChampion","name":"Adrien Champion","path":"/AdrienChampion","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7377723?s=80&v=4"},"commit":{"message":"chore: minor name fix","shortMessageHtmlLink":"chore: minor name fix"}},{"before":"b1cbbae51b64303492353f90d97605a80ccd09fe","after":"c17cf4e2dcd129c2c1c07b8a3a6fc08d8d0435f6","ref":"refs/heads/main","pushedAt":"2023-08-15T14:48:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AdrienChampion","name":"Adrien Champion","path":"/AdrienChampion","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7377723?s=80&v=4"},"commit":{"message":"chore: better notion of `semiSubrel`","shortMessageHtmlLink":"chore: better notion of <code>semiSubrel</code>"}},{"before":"f71ce90c270e5b3e8b40a985efb16bafa9f6d117","after":"b1cbbae51b64303492353f90d97605a80ccd09fe","ref":"refs/heads/main","pushedAt":"2023-08-14T09:59:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AdrienChampion","name":"Adrien Champion","path":"/AdrienChampion","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7377723?s=80&v=4"},"commit":{"message":"chore: improve several lemmas slightly","shortMessageHtmlLink":"chore: improve several lemmas slightly"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyMy0wOS0wOVQwOToxOTozOS4wMDAwMDBazwAAAAN8zjFE","startCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wOS0wOVQwOToxOTozOS4wMDAwMDBazwAAAAN8zjFE","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wOC0xNFQwOTo1OTo1MC4wMDAwMDBazwAAAANqLS4t"}},"title":"Activity · AdrienChampion/collChoSoWel"}