{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":717879784,"defaultBranch":"master","name":"expressive-wallet","ownerLogin":"uncomputable","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-11-12T21:50:36.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/18557028?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1699826166.0","currentOid":""},"activityList":{"items":[{"before":"3b635457a08ba0daa153567d52f40fbdbb462aa8","after":"eda3bcccf2c1bac473824e6cb7062d5f68a213ff","ref":"refs/heads/master","pushedAt":"2023-11-18T16:00:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"uncomputable","name":"Christian Lewe","path":"/uncomputable","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18557028?s=80&v=4"},"commit":{"message":"Coq: Fix typo","shortMessageHtmlLink":"Coq: Fix typo"}},{"before":"0c66c340b2d6b7c9131d688ad4b1823bfe844816","after":"3b635457a08ba0daa153567d52f40fbdbb462aa8","ref":"refs/heads/master","pushedAt":"2023-11-15T19:58:15.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"uncomputable","name":"Christian Lewe","path":"/uncomputable","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18557028?s=80&v=4"},"commit":{"message":"OCaml: Add README","shortMessageHtmlLink":"OCaml: Add README"}},{"before":"f01a9a65ee6a4e69099c2012472844eafe9f5433","after":"0c66c340b2d6b7c9131d688ad4b1823bfe844816","ref":"refs/heads/master","pushedAt":"2023-11-15T16:39:51.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"uncomputable","name":"Christian Lewe","path":"/uncomputable","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18557028?s=80&v=4"},"commit":{"message":"README: Move into Coq directory","shortMessageHtmlLink":"README: Move into Coq directory"}},{"before":"facf34161bd827b79f1a9ddfefef6fa8b10aa89f","after":"f01a9a65ee6a4e69099c2012472844eafe9f5433","ref":"refs/heads/master","pushedAt":"2023-11-15T12:27:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"uncomputable","name":"Christian Lewe","path":"/uncomputable","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18557028?s=80&v=4"},"commit":{"message":"Coq: Prove minimality of strategy\n\nThe last added coin cannot be removed, or the wallet becomes\ninexpressive. Removing coins from earlier steps is not considered.","shortMessageHtmlLink":"Coq: Prove minimality of strategy"}},{"before":"57ffcca0536de36d366cadb3d3e9dfb026158b75","after":"facf34161bd827b79f1a9ddfefef6fa8b10aa89f","ref":"refs/heads/master","pushedAt":"2023-11-15T11:38:02.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"uncomputable","name":"Christian Lewe","path":"/uncomputable","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18557028?s=80&v=4"},"commit":{"message":"Coq: Prove correctness of strategy","shortMessageHtmlLink":"Coq: Prove correctness of strategy"}},{"before":"d261dfb58679f46db2b31f57f163288d27755de4","after":"57ffcca0536de36d366cadb3d3e9dfb026158b75","ref":"refs/heads/master","pushedAt":"2023-11-14T23:03:29.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"uncomputable","name":"Christian Lewe","path":"/uncomputable","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18557028?s=80&v=4"},"commit":{"message":"Coq: Strengthen expressive_cons\n\nOff by one mistake!\nIt should now be possible to prove expresses_next_coin.","shortMessageHtmlLink":"Coq: Strengthen expressive_cons"}},{"before":"95ef8f7bc90878498112994d7f463880a486f859","after":"d261dfb58679f46db2b31f57f163288d27755de4","ref":"refs/heads/master","pushedAt":"2023-11-14T22:25:51.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"uncomputable","name":"Christian Lewe","path":"/uncomputable","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18557028?s=80&v=4"},"commit":{"message":"Coq: Strengthen expressive_cons\n\nOff by one mistake!\nIt should now be possible to prove expresses_next_coin.","shortMessageHtmlLink":"Coq: Strengthen expressive_cons"}},{"before":"59ac985a815edbceb8ce53e6e8837eb981f5ac00","after":"95ef8f7bc90878498112994d7f463880a486f859","ref":"refs/heads/master","pushedAt":"2023-11-14T22:21:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"uncomputable","name":"Christian Lewe","path":"/uncomputable","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18557028?s=80&v=4"},"commit":{"message":"Coq: Strengthen expressive_cons\n\nOff by one mistake!\nIt should now be possible to prove expresses_next_coin.","shortMessageHtmlLink":"Coq: Strengthen expressive_cons"}},{"before":"30a320ccc9b4379be91931b10b6bd07e49587151","after":"59ac985a815edbceb8ce53e6e8837eb981f5ac00","ref":"refs/heads/master","pushedAt":"2023-11-14T21:56:04.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"uncomputable","name":"Christian Lewe","path":"/uncomputable","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18557028?s=80&v=4"},"commit":{"message":"Coq: Shorten strategy\n\nWe use w for wallet everywhere.","shortMessageHtmlLink":"Coq: Shorten strategy"}},{"before":"9efc356bfce85a14a3cb1dcaf890fe4b881b68e8","after":"30a320ccc9b4379be91931b10b6bd07e49587151","ref":"refs/heads/master","pushedAt":"2023-11-13T22:33:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"uncomputable","name":"Christian Lewe","path":"/uncomputable","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18557028?s=80&v=4"},"commit":{"message":"Coq: Documentation","shortMessageHtmlLink":"Coq: Documentation"}},{"before":"1898ea57701f55688fa3e038face26ccc6418f0f","after":"9efc356bfce85a14a3cb1dcaf890fe4b881b68e8","ref":"refs/heads/master","pushedAt":"2023-11-13T22:30:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"uncomputable","name":"Christian Lewe","path":"/uncomputable","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18557028?s=80&v=4"},"commit":{"message":"Coq: Remove app theorems\n\nThese theorems are no longer useful.","shortMessageHtmlLink":"Coq: Remove app theorems"}},{"before":"dbd3ff10a13824d874ea6fb5ce4376b3da78becf","after":"1898ea57701f55688fa3e038face26ccc6418f0f","ref":"refs/heads/master","pushedAt":"2023-11-13T22:28:23.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"uncomputable","name":"Christian Lewe","path":"/uncomputable","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18557028?s=80&v=4"},"commit":{"message":"README: Update","shortMessageHtmlLink":"README: Update"}},{"before":"c6772d9db5137b13ac681edbb529f327b5311b38","after":"dbd3ff10a13824d874ea6fb5ce4376b3da78becf","ref":"refs/heads/master","pushedAt":"2023-11-13T22:27:51.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"uncomputable","name":"Christian Lewe","path":"/uncomputable","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18557028?s=80&v=4"},"commit":{"message":"README: Update","shortMessageHtmlLink":"README: Update"}},{"before":"a922f37ca00a90bf982db2299e4abc5ab09ebe72","after":"c6772d9db5137b13ac681edbb529f327b5311b38","ref":"refs/heads/master","pushedAt":"2023-11-12T22:33:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"uncomputable","name":"Christian Lewe","path":"/uncomputable","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18557028?s=80&v=4"},"commit":{"message":"README: Add","shortMessageHtmlLink":"README: Add"}},{"before":null,"after":"a922f37ca00a90bf982db2299e4abc5ab09ebe72","ref":"refs/heads/master","pushedAt":"2023-11-12T21:56:06.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"uncomputable","name":"Christian Lewe","path":"/uncomputable","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18557028?s=80&v=4"},"commit":{"message":"Coq: Initial commit","shortMessageHtmlLink":"Coq: Initial commit"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADsktTJwA","startCursor":null,"endCursor":null}},"title":"Activity · uncomputable/expressive-wallet"}