{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":139501281,"defaultBranch":"master","name":"ial","ownerLogin":"cedille","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2018-07-02T22:31:18.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/40040309?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1572557264.0","currentOid":""},"activityList":{"items":[{"before":"f0d38a20ff98406babf19b2859ab9f5d4bea761e","after":"f1631a3e502e9839c077386d8ba1c6aea2ffe3b0","ref":"refs/heads/master","pushedAt":"2024-04-13T14:54:31.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"astump","name":"Aaron Stump","path":"/astump","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/911061?s=80&v=4"},"commit":{"message":"init, splitAt and a couple related theorems","shortMessageHtmlLink":"init, splitAt and a couple related theorems"}},{"before":"c5ccb9cd839fb4801e27ec5f950bfbba9394a821","after":"f0d38a20ff98406babf19b2859ab9f5d4bea761e","ref":"refs/heads/master","pushedAt":"2024-04-05T03:06:27.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"astump","name":"Aaron Stump","path":"/astump","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/911061?s=80&v=4"},"commit":{"message":"added null","shortMessageHtmlLink":"added null"}},{"before":"9f1991116ae344561a7abc86dbd9edbafdfc19be","after":"c5ccb9cd839fb4801e27ec5f950bfbba9394a821","ref":"refs/heads/master","pushedAt":"2024-01-13T17:12:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"astump","name":"Aaron Stump","path":"/astump","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/911061?s=80&v=4"},"commit":{"message":"defining iter","shortMessageHtmlLink":"defining iter"}},{"before":"ffb64eb2d2e727b775d0cc02b713aabc6e67e512","after":"9f1991116ae344561a7abc86dbd9edbafdfc19be","ref":"refs/heads/master","pushedAt":"2023-12-22T05:02:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"astump","name":"Aaron Stump","path":"/astump","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/911061?s=80&v=4"},"commit":{"message":"some level tweaks, lemma in termination","shortMessageHtmlLink":"some level tweaks, lemma in termination"}},{"before":"ded30c410d5d40142249686572aa1acd1b2f8cc7","after":"ffb64eb2d2e727b775d0cc02b713aabc6e67e512","ref":"refs/heads/master","pushedAt":"2023-11-21T05:41:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"astump","name":"Aaron Stump","path":"/astump","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/911061?s=80&v=4"},"commit":{"message":"added a couple monotonicity theorems for less-than-or-equal","shortMessageHtmlLink":"added a couple monotonicity theorems for less-than-or-equal"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEL9OH1AA","startCursor":null,"endCursor":null}},"title":"Activity · cedille/ial"}