{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":684325274,"defaultBranch":"master","name":"formalization-of-mathematics","ownerLogin":"Formal-Mathematics","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-08-28T23:04:06.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/141059045?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1694648075.0","currentOid":""},"activityList":{"items":[{"before":"6918849f9117ec2fcc088d0d0e54e9afea5068c6","after":"55b99c441b526e9d442ee552f7bf33d80575b383","ref":"refs/heads/master","pushedAt":"2023-12-07T19:23:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adamtopaz","name":"Adam Topaz","path":"/adamtopaz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5577687?s=80&v=4"},"commit":{"message":"uniform","shortMessageHtmlLink":"uniform"}},{"before":"9d3876dc8ab6c38d67f6950c5de8f47bfb7e4eb5","after":"6918849f9117ec2fcc088d0d0e54e9afea5068c6","ref":"refs/heads/master","pushedAt":"2023-12-05T19:48:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adamtopaz","name":"Adam Topaz","path":"/adamtopaz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5577687?s=80&v=4"},"commit":{"message":"lecture","shortMessageHtmlLink":"lecture"}},{"before":"ff0912066557e2f78f0ace039235d01fb4262874","after":"9d3876dc8ab6c38d67f6950c5de8f47bfb7e4eb5","ref":"refs/heads/master","pushedAt":"2023-11-30T19:22:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adamtopaz","name":"Adam Topaz","path":"/adamtopaz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5577687?s=80&v=4"},"commit":{"message":"foo","shortMessageHtmlLink":"foo"}},{"before":"cbd40fc7b1aacee85ec2acd9171284f00a7b4c01","after":"ff0912066557e2f78f0ace039235d01fb4262874","ref":"refs/heads/master","pushedAt":"2023-11-23T19:20:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adamtopaz","name":"Adam Topaz","path":"/adamtopaz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5577687?s=80&v=4"},"commit":{"message":"limits","shortMessageHtmlLink":"limits"}},{"before":"c1a0357a8a69a907bde9ef1be14213f53cae70a8","after":"cbd40fc7b1aacee85ec2acd9171284f00a7b4c01","ref":"refs/heads/master","pushedAt":"2023-11-23T18:55:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adamtopaz","name":"Adam Topaz","path":"/adamtopaz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5577687?s=80&v=4"},"commit":{"message":"more work on adjunction","shortMessageHtmlLink":"more work on adjunction"}},{"before":"74a59a0227de56aac2d729de818c816544e9b6e8","after":"c1a0357a8a69a907bde9ef1be14213f53cae70a8","ref":"refs/heads/master","pushedAt":"2023-11-21T19:25:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adamtopaz","name":"Adam Topaz","path":"/adamtopaz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5577687?s=80&v=4"},"commit":{"message":"start on adjunctions","shortMessageHtmlLink":"start on adjunctions"}},{"before":"0694fd03288c0ad0fdf0757c3eba830f17915fe7","after":"74a59a0227de56aac2d729de818c816544e9b6e8","ref":"refs/heads/master","pushedAt":"2023-11-21T18:47:38.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"adamtopaz","name":"Adam Topaz","path":"/adamtopaz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5577687?s=80&v=4"},"commit":{"message":"add exercises","shortMessageHtmlLink":"add exercises"}},{"before":"dff6db37355fee0a60c2ab62c1502a5a734bcaf4","after":"0694fd03288c0ad0fdf0757c3eba830f17915fe7","ref":"refs/heads/master","pushedAt":"2023-11-09T19:19:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adamtopaz","name":"Adam Topaz","path":"/adamtopaz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5577687?s=80&v=4"},"commit":{"message":"more on cats","shortMessageHtmlLink":"more on cats"}},{"before":"0b8ad5a5a0295b8ff48d0188ffd247035416f97a","after":"dff6db37355fee0a60c2ab62c1502a5a734bcaf4","ref":"refs/heads/master","pushedAt":"2023-11-02T18:28:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adamtopaz","name":"Adam Topaz","path":"/adamtopaz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5577687?s=80&v=4"},"commit":{"message":"more on cats","shortMessageHtmlLink":"more on cats"}},{"before":"2b8a3293c589185afbef350634eef1a0b76a544f","after":"0b8ad5a5a0295b8ff48d0188ffd247035416f97a","ref":"refs/heads/master","pushedAt":"2023-10-31T18:20:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adamtopaz","name":"Adam Topaz","path":"/adamtopaz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5577687?s=80&v=4"},"commit":{"message":"intro to cats","shortMessageHtmlLink":"intro to cats"}},{"before":"5ceb667bd9658fe4f382396295125b97ca55b05c","after":"2b8a3293c589185afbef350634eef1a0b76a544f","ref":"refs/heads/master","pushedAt":"2023-10-31T18:06:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adamtopaz","name":"Adam Topaz","path":"/adamtopaz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5577687?s=80&v=4"},"commit":{"message":"finish discussion on quotients","shortMessageHtmlLink":"finish discussion on quotients"}},{"before":"b3513db1bd80e50b17b9768e0cc05c0105df4128","after":"5ceb667bd9658fe4f382396295125b97ca55b05c","ref":"refs/heads/master","pushedAt":"2023-10-26T18:22:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adamtopaz","name":"Adam Topaz","path":"/adamtopaz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5577687?s=80&v=4"},"commit":{"message":"start on quotients","shortMessageHtmlLink":"start on quotients"}},{"before":"e62fea4ba88e547648315c4200d25661b502a3b5","after":"b3513db1bd80e50b17b9768e0cc05c0105df4128","ref":"refs/heads/master","pushedAt":"2023-10-24T18:21:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adamtopaz","name":"Adam Topaz","path":"/adamtopaz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5577687?s=80&v=4"},"commit":{"message":"notes for 2023-10-24","shortMessageHtmlLink":"notes for 2023-10-24"}},{"before":"3e341f88fa0491b39616623aab75a9f3052fa99b","after":"e62fea4ba88e547648315c4200d25661b502a3b5","ref":"refs/heads/master","pushedAt":"2023-10-24T16:41:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adamtopaz","name":"Adam Topaz","path":"/adamtopaz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5577687?s=80&v=4"},"commit":{"message":"upgrade mathlib","shortMessageHtmlLink":"upgrade mathlib"}},{"before":"57854e5ff287936e9050e30e900bed6706f2af09","after":"3e341f88fa0491b39616623aab75a9f3052fa99b","ref":"refs/heads/master","pushedAt":"2023-10-24T12:26:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adamtopaz","name":"Adam Topaz","path":"/adamtopaz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5577687?s=80&v=4"},"commit":{"message":"whitespace","shortMessageHtmlLink":"whitespace"}},{"before":"9d88a0b0797f65d5f447f4c0350628f776a28b92","after":"57854e5ff287936e9050e30e900bed6706f2af09","ref":"refs/heads/master","pushedAt":"2023-10-24T12:21:04.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"adamtopaz","name":"Adam Topaz","path":"/adamtopaz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5577687?s=80&v=4"},"commit":{"message":"add globs","shortMessageHtmlLink":"add globs"}},{"before":"b6e422dad5c29674c470823f716ddd8ceb115978","after":"9d88a0b0797f65d5f447f4c0350628f776a28b92","ref":"refs/heads/master","pushedAt":"2023-10-21T23:23:19.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"adamtopaz","name":"Adam Topaz","path":"/adamtopaz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5577687?s=80&v=4"},"commit":{"message":"Merge pull request #1 from semorrison/patch-1","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1955685943\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Formal-Mathematics/formalization-of-mathematics/issues/1\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Formal-Mathematics/formalization-of-mathematics/pull/1/hovercard\" href=\"https://github.com/Formal-Mathematics/formalization-of-mathematics/pull/1\">#1</a> from semorrison/patch-1"}},{"before":"e1a11b3a875352865dddc502a543554f22b38b20","after":"b6e422dad5c29674c470823f716ddd8ceb115978","ref":"refs/heads/master","pushedAt":"2023-10-19T18:21:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adamtopaz","name":"Adam Topaz","path":"/adamtopaz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5577687?s=80&v=4"},"commit":{"message":"more on subobjects","shortMessageHtmlLink":"more on subobjects"}},{"before":"9e770eb5e68a051fcf74a6cbad3f375cfd9e095e","after":"e1a11b3a875352865dddc502a543554f22b38b20","ref":"refs/heads/master","pushedAt":"2023-10-19T16:21:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adamtopaz","name":"Adam Topaz","path":"/adamtopaz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5577687?s=80&v=4"},"commit":{"message":"fix","shortMessageHtmlLink":"fix"}},{"before":"ade3ee0a78b69ab74ef72c87a426f3860fad7621","after":"9e770eb5e68a051fcf74a6cbad3f375cfd9e095e","ref":"refs/heads/master","pushedAt":"2023-10-17T18:25:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adamtopaz","name":"Adam Topaz","path":"/adamtopaz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5577687?s=80&v=4"},"commit":{"message":"morphisms + subobjects","shortMessageHtmlLink":"morphisms + subobjects"}},{"before":"1925803472b0b2093db6ae46c667a4eabfb34a08","after":"ade3ee0a78b69ab74ef72c87a426f3860fad7621","ref":"refs/heads/master","pushedAt":"2023-10-12T18:22:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adamtopaz","name":"Adam Topaz","path":"/adamtopaz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5577687?s=80&v=4"},"commit":{"message":"notes on calcs and simps","shortMessageHtmlLink":"notes on calcs and simps"}},{"before":"64abc2ba242e971adfeb1e1d26516bcf268f21de","after":"1925803472b0b2093db6ae46c667a4eabfb34a08","ref":"refs/heads/master","pushedAt":"2023-10-12T13:18:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adamtopaz","name":"Adam Topaz","path":"/adamtopaz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5577687?s=80&v=4"},"commit":{"message":"upgrade mathlib","shortMessageHtmlLink":"upgrade mathlib"}},{"before":"12f5c03a8eb012d70a7efac5aa53b47f9b105919","after":"64abc2ba242e971adfeb1e1d26516bcf268f21de","ref":"refs/heads/master","pushedAt":"2023-10-10T18:22:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adamtopaz","name":"Adam Topaz","path":"/adamtopaz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5577687?s=80&v=4"},"commit":{"message":"foo","shortMessageHtmlLink":"foo"}},{"before":"ff4b854c7ed2d0d8baf51edc5493b11f6d0d55c7","after":"12f5c03a8eb012d70a7efac5aa53b47f9b105919","ref":"refs/heads/master","pushedAt":"2023-10-10T17:00:40.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"adamtopaz","name":"Adam Topaz","path":"/adamtopaz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5577687?s=80&v=4"},"commit":{"message":"update mathlib","shortMessageHtmlLink":"update mathlib"}},{"before":"7d7f7baff00f2cbd321d05619d44bdd417871392","after":"ff4b854c7ed2d0d8baf51edc5493b11f6d0d55c7","ref":"refs/heads/master","pushedAt":"2023-10-05T17:13:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adamtopaz","name":"Adam Topaz","path":"/adamtopaz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5577687?s=80&v=4"},"commit":{"message":"upgrade mathlib","shortMessageHtmlLink":"upgrade mathlib"}},{"before":"2149093b994909946ccb8eb8a6a45275d50378b9","after":"7d7f7baff00f2cbd321d05619d44bdd417871392","ref":"refs/heads/master","pushedAt":"2023-10-05T02:44:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adamtopaz","name":"Adam Topaz","path":"/adamtopaz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5577687?s=80&v=4"},"commit":{"message":"update","shortMessageHtmlLink":"update"}},{"before":"d869586130f1a81c24e885c65aa19c873e272b65","after":"2149093b994909946ccb8eb8a6a45275d50378b9","ref":"refs/heads/master","pushedAt":"2023-10-05T02:32:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adamtopaz","name":"Adam Topaz","path":"/adamtopaz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5577687?s=80&v=4"},"commit":{"message":"blah","shortMessageHtmlLink":"blah"}},{"before":"c2ce7c315bbc04a5251f50d5b77e0ed470947c95","after":"d869586130f1a81c24e885c65aa19c873e272b65","ref":"refs/heads/master","pushedAt":"2023-10-05T02:21:25.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"adamtopaz","name":"Adam Topaz","path":"/adamtopaz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5577687?s=80&v=4"},"commit":{"message":"add instance graph","shortMessageHtmlLink":"add instance graph"}},{"before":"e286a7c7a2b34acbfcbe431874322a856ca9b4c5","after":"c2ce7c315bbc04a5251f50d5b77e0ed470947c95","ref":"refs/heads/master","pushedAt":"2023-10-03T18:52:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adamtopaz","name":"Adam Topaz","path":"/adamtopaz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5577687?s=80&v=4"},"commit":{"message":"finish free","shortMessageHtmlLink":"finish free"}},{"before":"d89c1f264558cc06d319d1e3f319f9ef82446d57","after":"e286a7c7a2b34acbfcbe431874322a856ca9b4c5","ref":"refs/heads/master","pushedAt":"2023-09-28T18:23:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adamtopaz","name":"Adam Topaz","path":"/adamtopaz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5577687?s=80&v=4"},"commit":{"message":"blah","shortMessageHtmlLink":"blah"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADxGYlOAA","startCursor":null,"endCursor":null}},"title":"Activity · Formal-Mathematics/formalization-of-mathematics"}