{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":476157715,"defaultBranch":"main","name":"con-nf","ownerLogin":"leanprover-community","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-03-31T05:04:06.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/41703605?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1724076484.0","currentOid":""},"activityList":{"items":[{"before":"bddebd7ba69cdeab79ddd5ea4a4c4fe39169161b","after":"34b488a232d15bf68fcc0891eb08503e4c8c8866","ref":"refs/heads/main","pushedAt":"2024-09-22T17:47:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zeramorphic","name":"Sky Wilshaw","path":"/zeramorphic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50671761?s=80&v=4"},"commit":{"message":"Fix ConNF.lean\n\nSigned-off-by: zeramorphic <zeramorphic@proton.me>","shortMessageHtmlLink":"Fix ConNF.lean"}},{"before":"39b6f0e9fdda843285fb571d594b71a8bc965fb4","after":"bddebd7ba69cdeab79ddd5ea4a4c4fe39169161b","ref":"refs/heads/main","pushedAt":"2024-09-22T17:46:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zeramorphic","name":"Sky Wilshaw","path":"/zeramorphic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50671761?s=80&v=4"},"commit":{"message":"Precise actions from rough\n\nSigned-off-by: zeramorphic <zeramorphic@proton.me>","shortMessageHtmlLink":"Precise actions from rough"}},{"before":"e0a6b284d668cf4be2b0ca786554ebf031f6f4c4","after":"39b6f0e9fdda843285fb571d594b71a8bc965fb4","ref":"refs/heads/main","pushedAt":"2024-09-22T16:20:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zeramorphic","name":"Sky Wilshaw","path":"/zeramorphic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50671761?s=80&v=4"},"commit":{"message":"Coherence refactor\n\nSigned-off-by: zeramorphic <zeramorphic@proton.me>","shortMessageHtmlLink":"Coherence refactor"}},{"before":"c0a609d448d373ba043685e1f10c7bfd0e4a2745","after":"e0a6b284d668cf4be2b0ca786554ebf031f6f4c4","ref":"refs/heads/main","pushedAt":"2024-09-22T11:07:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zeramorphic","name":"Sky Wilshaw","path":"/zeramorphic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50671761?s=80&v=4"},"commit":{"message":"Flexible approximations\n\nSigned-off-by: zeramorphic <zeramorphic@proton.me>","shortMessageHtmlLink":"Flexible approximations"}},{"before":"9386ad6f246ac0d16d7508dbd0ab6028a1d70567","after":"c0a609d448d373ba043685e1f10c7bfd0e4a2745","ref":"refs/heads/main","pushedAt":"2024-09-22T00:25:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zeramorphic","name":"Sky Wilshaw","path":"/zeramorphic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50671761?s=80&v=4"},"commit":{"message":"Headway on existence of flexible approximations\n\nSigned-off-by: zeramorphic <zeramorphic@proton.me>","shortMessageHtmlLink":"Headway on existence of flexible approximations"}},{"before":"04575031a019527e734d654f2c91992d05685eb8","after":"9386ad6f246ac0d16d7508dbd0ab6028a1d70567","ref":"refs/heads/main","pushedAt":"2024-09-21T22:53:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zeramorphic","name":"Sky Wilshaw","path":"/zeramorphic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50671761?s=80&v=4"},"commit":{"message":"Computing orbits\n\nSigned-off-by: zeramorphic <zeramorphic@proton.me>","shortMessageHtmlLink":"Computing orbits"}},{"before":"4971fcf766e421012e5ad89487cc96369f34ff23","after":"04575031a019527e734d654f2c91992d05685eb8","ref":"refs/heads/main","pushedAt":"2024-09-21T22:42:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zeramorphic","name":"Sky Wilshaw","path":"/zeramorphic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50671761?s=80&v=4"},"commit":{"message":"Completing restricted orbits\n\nSigned-off-by: zeramorphic <zeramorphic@proton.me>","shortMessageHtmlLink":"Completing restricted orbits"}},{"before":"5a4772df65c8b7cd37750ab1c62b6d39045d295f","after":"4971fcf766e421012e5ad89487cc96369f34ff23","ref":"refs/heads/main","pushedAt":"2024-09-21T15:23:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zeramorphic","name":"Sky Wilshaw","path":"/zeramorphic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50671761?s=80&v=4"},"commit":{"message":"Nice extensions\n\nSigned-off-by: zeramorphic <zeramorphic@proton.me>","shortMessageHtmlLink":"Nice extensions"}},{"before":"925be6aa30e57e1348ab6ab6148d47b9e9554331","after":"5a4772df65c8b7cd37750ab1c62b6d39045d295f","ref":"refs/heads/main","pushedAt":"2024-09-21T14:56:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zeramorphic","name":"Sky Wilshaw","path":"/zeramorphic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50671761?s=80&v=4"},"commit":{"message":"Extending outside\n\nSigned-off-by: zeramorphic <zeramorphic@proton.me>","shortMessageHtmlLink":"Extending outside"}},{"before":"8cf25385546986f28308f9d84cf7359f49602d80","after":"925be6aa30e57e1348ab6ab6148d47b9e9554331","ref":"refs/heads/main","pushedAt":"2024-09-21T14:03:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zeramorphic","name":"Sky Wilshaw","path":"/zeramorphic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50671761?s=80&v=4"},"commit":{"message":"Extending inside\n\nSigned-off-by: zeramorphic <zeramorphic@proton.me>","shortMessageHtmlLink":"Extending inside"}},{"before":"b002fcb29c04dc7caffccb624b1c48cd12c6fc46","after":"8cf25385546986f28308f9d84cf7359f49602d80","ref":"refs/heads/main","pushedAt":"2024-09-21T11:04:03.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"zeramorphic","name":"Sky Wilshaw","path":"/zeramorphic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50671761?s=80&v=4"},"commit":{"message":"Bump mathlib\n\nSigned-off-by: zeramorphic <zeramorphic@proton.me>","shortMessageHtmlLink":"Bump mathlib"}},{"before":"260d1b40e1bd2a946333e27f4f2b29f5146e3fd9","after":"b002fcb29c04dc7caffccb624b1c48cd12c6fc46","ref":"refs/heads/main","pushedAt":"2024-09-16T19:03:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zeramorphic","name":"Sky Wilshaw","path":"/zeramorphic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50671761?s=80&v=4"},"commit":{"message":"Bump mathlib\n\nSigned-off-by: zeramorphic <zeramorphic@proton.me>","shortMessageHtmlLink":"Bump mathlib"}},{"before":"f34ed7c9f2804570ef21faf6852638603af00aad","after":"260d1b40e1bd2a946333e27f4f2b29f5146e3fd9","ref":"refs/heads/main","pushedAt":"2024-09-16T18:56:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zeramorphic","name":"Sky Wilshaw","path":"/zeramorphic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50671761?s=80&v=4"},"commit":{"message":"Finish proof of FoA\n\nSigned-off-by: zeramorphic <zeramorphic@proton.me>","shortMessageHtmlLink":"Finish proof of FoA"}},{"before":"aa1c52c8872a1db388d293ea8ac28fe047e50233","after":"f34ed7c9f2804570ef21faf6852638603af00aad","ref":"refs/heads/main","pushedAt":"2024-09-12T00:02:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zeramorphic","name":"Sky Wilshaw","path":"/zeramorphic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50671761?s=80&v=4"},"commit":{"message":"Freedom of action\n\nSigned-off-by: zeramorphic <zeramorphic@proton.me>","shortMessageHtmlLink":"Freedom of action"}},{"before":"cef9f5a0222ea89ef2ad705d786a98f919c1d89a","after":"aa1c52c8872a1db388d293ea8ac28fe047e50233","ref":"refs/heads/main","pushedAt":"2024-09-11T22:37:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zeramorphic","name":"Sky Wilshaw","path":"/zeramorphic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50671761?s=80&v=4"},"commit":{"message":"Total extensions\n\nSigned-off-by: zeramorphic <zeramorphic@proton.me>","shortMessageHtmlLink":"Total extensions"}},{"before":"7ad902f0de005f39fc2a4654ed9680a0e12eece2","after":"cef9f5a0222ea89ef2ad705d786a98f919c1d89a","ref":"refs/heads/main","pushedAt":"2024-09-11T21:37:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zeramorphic","name":"Sky Wilshaw","path":"/zeramorphic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50671761?s=80&v=4"},"commit":{"message":"Maximal extensions\n\nSigned-off-by: zeramorphic <zeramorphic@proton.me>","shortMessageHtmlLink":"Maximal extensions"}},{"before":"30412c76fd110a487e5e89b62414237b38a37227","after":"7ad902f0de005f39fc2a4654ed9680a0e12eece2","ref":"refs/heads/main","pushedAt":"2024-09-11T17:27:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zeramorphic","name":"Sky Wilshaw","path":"/zeramorphic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50671761?s=80&v=4"},"commit":{"message":"Statement of freedom of action\n\nSigned-off-by: zeramorphic <zeramorphic@proton.me>","shortMessageHtmlLink":"Statement of freedom of action"}},{"before":"ee0b7d74d8229f61c77f6b8539e508eae54105f6","after":"30412c76fd110a487e5e89b62414237b38a37227","ref":"refs/heads/main","pushedAt":"2024-09-11T13:38:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zeramorphic","name":"Sky Wilshaw","path":"/zeramorphic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50671761?s=80&v=4"},"commit":{"message":"Coherence\n\nSigned-off-by: zeramorphic <zeramorphic@proton.me>","shortMessageHtmlLink":"Coherence"}},{"before":"c82d6e73a8fcf4bb4eb4775535b6aa522a05e910","after":"ee0b7d74d8229f61c77f6b8539e508eae54105f6","ref":"refs/heads/main","pushedAt":"2024-09-11T10:32:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zeramorphic","name":"Sky Wilshaw","path":"/zeramorphic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50671761?s=80&v=4"},"commit":{"message":"Adding orbits\n\nSigned-off-by: zeramorphic <zeramorphic@proton.me>","shortMessageHtmlLink":"Adding orbits"}},{"before":"d6f242290ed37c14883e38215373829fef33a698","after":"c82d6e73a8fcf4bb4eb4775535b6aa522a05e910","ref":"refs/heads/main","pushedAt":"2024-09-03T14:38:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zeramorphic","name":"Sky Wilshaw","path":"/zeramorphic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50671761?s=80&v=4"},"commit":{"message":"More work on base approximations\n\nSigned-off-by: zeramorphic <zeramorphic@proton.me>","shortMessageHtmlLink":"More work on base approximations"}},{"before":"6147ba378e6658a66a57ca5ea9441605abb1e131","after":"d6f242290ed37c14883e38215373829fef33a698","ref":"refs/heads/main","pushedAt":"2024-09-03T13:31:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zeramorphic","name":"Sky Wilshaw","path":"/zeramorphic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50671761?s=80&v=4"},"commit":{"message":"Base approximations\n\nSigned-off-by: zeramorphic <zeramorphic@proton.me>","shortMessageHtmlLink":"Base approximations"}},{"before":"a92d875684c6a22e60d8bbe71e58731b5568f945","after":"6147ba378e6658a66a57ca5ea9441605abb1e131","ref":"refs/heads/main","pushedAt":"2024-09-02T15:41:55.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"zeramorphic","name":"Sky Wilshaw","path":"/zeramorphic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50671761?s=80&v=4"},"commit":{"message":"Add licensing information\n\nSigned-off-by: zeramorphic <zeramorphic@proton.me>","shortMessageHtmlLink":"Add licensing information"}},{"before":"1a11c7f2be90874bc686698d4abc764a896097f5","after":"a92d875684c6a22e60d8bbe71e58731b5568f945","ref":"refs/heads/main","pushedAt":"2024-08-25T17:35:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zeramorphic","name":"Sky Wilshaw","path":"/zeramorphic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50671761?s=80&v=4"},"commit":{"message":"Finish chapter 2\n\nSigned-off-by: zeramorphic <zeramorphic@proton.me>","shortMessageHtmlLink":"Finish chapter 2"}},{"before":"4219a2d936d3fcbfcc794b66121b75deb330bc59","after":"1a11c7f2be90874bc686698d4abc764a896097f5","ref":"refs/heads/main","pushedAt":"2024-08-24T20:31:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zeramorphic","name":"Sky Wilshaw","path":"/zeramorphic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50671761?s=80&v=4"},"commit":{"message":"Functions from denied sets\n\nSigned-off-by: zeramorphic <zeramorphic@proton.me>","shortMessageHtmlLink":"Functions from denied sets"}},{"before":"c2c6195aa9935d624c52d057ad31004119973473","after":"4219a2d936d3fcbfcc794b66121b75deb330bc59","ref":"refs/heads/main","pushedAt":"2024-08-24T17:21:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zeramorphic","name":"Sky Wilshaw","path":"/zeramorphic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50671761?s=80&v=4"},"commit":{"message":"Model data\n\nSigned-off-by: zeramorphic <zeramorphic@proton.me>","shortMessageHtmlLink":"Model data"}},{"before":"89d796e5fcdc69a8cc7bf203a7b8802dc6740919","after":"c2c6195aa9935d624c52d057ad31004119973473","ref":"refs/heads/main","pushedAt":"2024-08-24T14:07:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zeramorphic","name":"Sky Wilshaw","path":"/zeramorphic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50671761?s=80&v=4"},"commit":{"message":"Supports\n\nSigned-off-by: zeramorphic <zeramorphic@proton.me>","shortMessageHtmlLink":"Supports"}},{"before":"b99373882db670b846bb2382834921b4c7b05ed0","after":"89d796e5fcdc69a8cc7bf203a7b8802dc6740919","ref":"refs/heads/main","pushedAt":"2024-08-24T10:04:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zeramorphic","name":"Sky Wilshaw","path":"/zeramorphic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50671761?s=80&v=4"},"commit":{"message":"Enumerations and their cardinality bounds\n\nSigned-off-by: zeramorphic <zeramorphic@proton.me>","shortMessageHtmlLink":"Enumerations and their cardinality bounds"}},{"before":"9e3bfe895d918ed281461d1b78ff2dcf4d850b72","after":"b99373882db670b846bb2382834921b4c7b05ed0","ref":"refs/heads/main","pushedAt":"2024-08-22T10:11:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zeramorphic","name":"Sky Wilshaw","path":"/zeramorphic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50671761?s=80&v=4"},"commit":{"message":"Structural sets and permutations\n\nSigned-off-by: zeramorphic <zeramorphic@proton.me>","shortMessageHtmlLink":"Structural sets and permutations"}},{"before":"e6786c51d2ce40078e77410e9f4077aa5ab052ad","after":"9e3bfe895d918ed281461d1b78ff2dcf4d850b72","ref":"refs/heads/main","pushedAt":"2024-08-21T23:49:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zeramorphic","name":"Sky Wilshaw","path":"/zeramorphic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50671761?s=80&v=4"},"commit":{"message":"Trees\n\nSigned-off-by: zeramorphic <zeramorphic@proton.me>","shortMessageHtmlLink":"Trees"}},{"before":"0442d15aae953205779611e5a7b35565f62a9edf","after":"e6786c51d2ce40078e77410e9f4077aa5ab052ad","ref":"refs/heads/main","pushedAt":"2024-08-21T23:29:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zeramorphic","name":"Sky Wilshaw","path":"/zeramorphic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50671761?s=80&v=4"},"commit":{"message":"Lemmas about exponentials and strong limits\n\nSigned-off-by: zeramorphic <zeramorphic@proton.me>","shortMessageHtmlLink":"Lemmas about exponentials and strong limits"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yMlQxNzo0NzowMS4wMDAwMDBazwAAAAS9S50H","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yMlQxNzo0NzowMS4wMDAwMDBazwAAAAS9S50H","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0yMVQyMzoyOTo0Mi4wMDAwMDBazwAAAASguD0R"}},"title":"Activity · leanprover-community/con-nf"}