{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":730806136,"defaultBranch":"main","name":"EmptyHexagonLean","ownerLogin":"bsubercaseaux","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-12-12T17:59:35.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/16748865?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1712105024.0","currentOid":""},"activityList":{"items":[{"before":"ca3937baa6c412dbe3ee3ee16ac2077684799f7c","after":"98dee70a01acc111977bc8f9c369c59a922221d7","ref":"refs/heads/main","pushedAt":"2024-04-11T13:13:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"digama0","name":"Mario Carneiro","path":"/digama0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/868588?s=80&v=4"},"commit":{"message":"update to lean 4.7.0","shortMessageHtmlLink":"update to lean 4.7.0"}},{"before":null,"after":"dc00b7292cc104db951c9cac98df7dd50d4e9d2f","ref":"refs/heads/iconic","pushedAt":"2024-04-03T00:43:44.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"bsubercaseaux","name":"Bernardo Subercaseaux","path":"/bsubercaseaux","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16748865?s=80&v=4"},"commit":{"message":"icons for encoding variables","shortMessageHtmlLink":"icons for encoding variables"}},{"before":"70dc5308f419498be1ead164dd77990a920b84a8","after":"ca3937baa6c412dbe3ee3ee16ac2077684799f7c","ref":"refs/heads/main","pushedAt":"2024-04-02T22:20:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"digama0","name":"Mario Carneiro","path":"/digama0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/868588?s=80&v=4"},"commit":{"message":"gloss for Geo.Point","shortMessageHtmlLink":"gloss for Geo.Point"}},{"before":"f49f73f959f2d2f5e55ae288ee0afb1220f2471e","after":"70dc5308f419498be1ead164dd77990a920b84a8","ref":"refs/heads/main","pushedAt":"2024-04-02T22:10:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"digama0","name":"Mario Carneiro","path":"/digama0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/868588?s=80&v=4"},"commit":{"message":"Move all the \"main theorems\" to the root","shortMessageHtmlLink":"Move all the \"main theorems\" to the root"}},{"before":"43f5d7f7e8d7d41af6083998cdf4a66cc7629de8","after":"f49f73f959f2d2f5e55ae288ee0afb1220f2471e","ref":"refs/heads/main","pushedAt":"2024-04-02T21:47:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bsubercaseaux","name":"Bernardo Subercaseaux","path":"/bsubercaseaux","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16748865?s=80&v=4"},"commit":{"message":"g(6) = 17","shortMessageHtmlLink":"g(6) = 17"}},{"before":"98935373b71ed353f73993f4cab524f524dfd018","after":"43f5d7f7e8d7d41af6083998cdf4a66cc7629de8","ref":"refs/heads/main","pushedAt":"2024-04-02T18:11:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"digama0","name":"Mario Carneiro","path":"/digama0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/868588?s=80&v=4"},"commit":{"message":"witness size reductions","shortMessageHtmlLink":"witness size reductions"}},{"before":"2a7cb1dc88cf5fb51db1c7eda5527988d5179bfb","after":"98935373b71ed353f73993f4cab524f524dfd018","ref":"refs/heads/main","pushedAt":"2024-04-02T16:40:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"digama0","name":"Mario Carneiro","path":"/digama0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/868588?s=80&v=4"},"commit":{"message":"fix gon checker by copy paste","shortMessageHtmlLink":"fix gon checker by copy paste"}},{"before":"3134a36705e52b86f809534fa03b1147d305372a","after":"2a7cb1dc88cf5fb51db1c7eda5527988d5179bfb","ref":"refs/heads/main","pushedAt":"2024-04-01T00:56:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"digama0","name":"Mario Carneiro","path":"/digama0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/868588?s=80&v=4"},"commit":{"message":"add gon checker","shortMessageHtmlLink":"add gon checker"}},{"before":"05fe6e08b27c6c203d690bb8eba74fb9c8272a80","after":"3134a36705e52b86f809534fa03b1147d305372a","ref":"refs/heads/main","pushedAt":"2024-03-31T21:49:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"digama0","name":"Mario Carneiro","path":"/digama0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/868588?s=80&v=4"},"commit":{"message":"add lower bounds for h(3..6)","shortMessageHtmlLink":"add lower bounds for h(3..6)"}},{"before":"942a26fb3c4fc01ff5fd5c096f984c44c16e797a","after":"05fe6e08b27c6c203d690bb8eba74fb9c8272a80","ref":"refs/heads/main","pushedAt":"2024-03-31T19:22:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bsubercaseaux","name":"Bernardo Subercaseaux","path":"/bsubercaseaux","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16748865?s=80&v=4"},"commit":{"message":"add h notation","shortMessageHtmlLink":"add h notation"}},{"before":"679d3e8f04bcbbc226f3de38f495701625623ef8","after":"942a26fb3c4fc01ff5fd5c096f984c44c16e797a","ref":"refs/heads/main","pushedAt":"2024-03-31T18:01:27.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"digama0","name":"Mario Carneiro","path":"/digama0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/868588?s=80&v=4"},"commit":{"message":"hole checker proof, completed!","shortMessageHtmlLink":"hole checker proof, completed!"}},{"before":"872a2ed6a436d13d3a56b5741828d6eb81d49c83","after":"679d3e8f04bcbbc226f3de38f495701625623ef8","ref":"refs/heads/main","pushedAt":"2024-03-30T10:36:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"digama0","name":"Mario Carneiro","path":"/digama0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/868588?s=80&v=4"},"commit":{"message":"hole checker proof, part 4","shortMessageHtmlLink":"hole checker proof, part 4"}},{"before":"ff4a8ceba4421c6de6371d6abd515ac74762b413","after":"872a2ed6a436d13d3a56b5741828d6eb81d49c83","ref":"refs/heads/main","pushedAt":"2024-03-29T08:59:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"digama0","name":"Mario Carneiro","path":"/digama0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/868588?s=80&v=4"},"commit":{"message":"hole checker proof, part 3","shortMessageHtmlLink":"hole checker proof, part 3"}},{"before":"4d8de11f5ff162690e66ca59229d4fc49404ac23","after":"ff4a8ceba4421c6de6371d6abd515ac74762b413","ref":"refs/heads/main","pushedAt":"2024-03-27T21:57:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"digama0","name":"Mario Carneiro","path":"/digama0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/868588?s=80&v=4"},"commit":{"message":"points in the plane","shortMessageHtmlLink":"points in the plane"}},{"before":"100b381872c9711eb034d51f4737b8b24a52098b","after":"4d8de11f5ff162690e66ca59229d4fc49404ac23","ref":"refs/heads/main","pushedAt":"2024-03-27T05:29:12.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"digama0","name":"Mario Carneiro","path":"/digama0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/868588?s=80&v=4"},"commit":{"message":"hole checker proof, continued","shortMessageHtmlLink":"hole checker proof, continued"}},{"before":"8035200835d06a9054cef0a644188fe4c503123e","after":"100b381872c9711eb034d51f4737b8b24a52098b","ref":"refs/heads/main","pushedAt":"2024-03-22T09:58:04.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"digama0","name":"Mario Carneiro","path":"/digama0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/868588?s=80&v=4"},"commit":{"message":"initial lean version of hole checker","shortMessageHtmlLink":"initial lean version of hole checker"}},{"before":"ca9732e4e0764c0c284911c6ed3bf3a3215b9951","after":"8035200835d06a9054cef0a644188fe4c503123e","ref":"refs/heads/main","pushedAt":"2024-03-21T06:55:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"digama0","name":"Mario Carneiro","path":"/digama0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/868588?s=80&v=4"},"commit":{"message":"inline & simplify","shortMessageHtmlLink":"inline & simplify"}},{"before":"f36f000f95cec646e0b02a999e2d171977253038","after":"ca9732e4e0764c0c284911c6ed3bf3a3215b9951","ref":"refs/heads/main","pushedAt":"2024-03-21T06:21:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"digama0","name":"Mario Carneiro","path":"/digama0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/868588?s=80&v=4"},"commit":{"message":"add JS calculation for h(6) > 29\n\nfrom https://github.com/bsubercaseaux/hole-tester/blob/main/src/HoleComputation.js","shortMessageHtmlLink":"add JS calculation for h(6) > 29"}},{"before":"d7f798ffc8deabc2f3ca1ae36e92e0250e57c205","after":"f36f000f95cec646e0b02a999e2d171977253038","ref":"refs/heads/main","pushedAt":"2024-03-20T08:22:48.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"digama0","name":"Mario Carneiro","path":"/digama0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/868588?s=80&v=4"},"commit":{"message":"add k-gon encoding","shortMessageHtmlLink":"add k-gon encoding"}},{"before":"875c51f4d99b78c5c0f7d9b7b9cd9fe0a2f718c0","after":"d7f798ffc8deabc2f3ca1ae36e92e0250e57c205","ref":"refs/heads/itp2024","pushedAt":"2024-03-19T06:46:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JamesGallicchio","name":"James Gallicchio","path":"/JamesGallicchio","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13753903?s=80&v=4"},"commit":{"message":"clarify readme","shortMessageHtmlLink":"clarify readme"}},{"before":"b5bcf7cd5d373fd454b34030d12f65f661249863","after":"d7f798ffc8deabc2f3ca1ae36e92e0250e57c205","ref":"refs/heads/main","pushedAt":"2024-03-19T06:46:04.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"JamesGallicchio","name":"James Gallicchio","path":"/JamesGallicchio","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13753903?s=80&v=4"},"commit":{"message":"clarify readme","shortMessageHtmlLink":"clarify readme"}},{"before":"fc742796f064d10ad62a29d347eb898b3fb5be7c","after":"b5bcf7cd5d373fd454b34030d12f65f661249863","ref":"refs/heads/main","pushedAt":"2024-03-19T06:42:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JamesGallicchio","name":"James Gallicchio","path":"/JamesGallicchio","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13753903?s=80&v=4"},"commit":{"message":"clarify readme","shortMessageHtmlLink":"clarify readme"}},{"before":"fc742796f064d10ad62a29d347eb898b3fb5be7c","after":"875c51f4d99b78c5c0f7d9b7b9cd9fe0a2f718c0","ref":"refs/heads/itp2024","pushedAt":"2024-03-19T06:29:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bsubercaseaux","name":"Bernardo Subercaseaux","path":"/bsubercaseaux","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16748865?s=80&v=4"},"commit":{"message":"fix link in paper","shortMessageHtmlLink":"fix link in paper"}},{"before":null,"after":"fc742796f064d10ad62a29d347eb898b3fb5be7c","ref":"refs/heads/itp2024","pushedAt":"2024-03-19T06:27:35.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"bsubercaseaux","name":"Bernardo Subercaseaux","path":"/bsubercaseaux","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16748865?s=80&v=4"},"commit":{"message":"add reference and precise tautology proof","shortMessageHtmlLink":"add reference and precise tautology proof"}},{"before":"cd98c21168975beece9fdf4d4ce62ee0b41e3cb4","after":"fc742796f064d10ad62a29d347eb898b3fb5be7c","ref":"refs/heads/main","pushedAt":"2024-03-19T05:35:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bsubercaseaux","name":"Bernardo Subercaseaux","path":"/bsubercaseaux","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16748865?s=80&v=4"},"commit":{"message":"add reference and precise tautology proof","shortMessageHtmlLink":"add reference and precise tautology proof"}},{"before":"e38c906180511a7024190f0944de2cf3de85de5f","after":"cd98c21168975beece9fdf4d4ce62ee0b41e3cb4","ref":"refs/heads/main","pushedAt":"2024-03-19T05:32:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ccodel","name":"Cayden Codel","path":"/ccodel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33324742?s=80&v=4"},"commit":{"message":"Kill the widows","shortMessageHtmlLink":"Kill the widows"}},{"before":"2c7110c0dd7742ab5da3ee3f46ea30a35c891c15","after":"e38c906180511a7024190f0944de2cf3de85de5f","ref":"refs/heads/main","pushedAt":"2024-03-19T05:23:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Vtec234","name":"Wojciech Nawrocki","path":"/Vtec234","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13901751?s=80&v=4"},"commit":{"message":"avoid repetition","shortMessageHtmlLink":"avoid repetition"}},{"before":"c55a7fbf4c5c489c275891653d28e1560d7cf69f","after":"2c7110c0dd7742ab5da3ee3f46ea30a35c891c15","ref":"refs/heads/main","pushedAt":"2024-03-19T05:20:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JamesGallicchio","name":"James Gallicchio","path":"/JamesGallicchio","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13753903?s=80&v=4"},"commit":{"message":"actually fix last commit lol","shortMessageHtmlLink":"actually fix last commit lol"}},{"before":"97288e186a3d36d273bd841ed3f323467c42d73c","after":"c55a7fbf4c5c489c275891653d28e1560d7cf69f","ref":"refs/heads/main","pushedAt":"2024-03-19T05:17:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JamesGallicchio","name":"James Gallicchio","path":"/JamesGallicchio","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13753903?s=80&v=4"},"commit":{"message":"more fixes to related work","shortMessageHtmlLink":"more fixes to related work"}},{"before":"0b6103a23bc7cd528a0bcdc2248ba950d7b04ba5","after":"97288e186a3d36d273bd841ed3f323467c42d73c","ref":"refs/heads/main","pushedAt":"2024-03-19T05:11:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bsubercaseaux","name":"Bernardo Subercaseaux","path":"/bsubercaseaux","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16748865?s=80&v=4"},"commit":{"message":"add run to the outline","shortMessageHtmlLink":"add run to the outline"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAELh3eGAA","startCursor":null,"endCursor":null}},"title":"Activity · bsubercaseaux/EmptyHexagonLean"}