{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":684055528,"defaultBranch":"dev","name":"theorem-prover-rs","ownerLogin":"boitsov14","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-08-28T11:10:58.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/86334557?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1693221421.0","currentOid":""},"activityList":{"items":[{"before":"711ecb85bc689f994a34fbc77550716c33dbb374","after":"6ae32aa183c708e0495f725961c25c3f9799e29d","ref":"refs/heads/dev","pushedAt":"2024-05-27T16:24:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"boitsov14","name":null,"path":"/boitsov14","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/86334557?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"66a909a1289ccda786e7d170171113640d535157","after":"711ecb85bc689f994a34fbc77550716c33dbb374","ref":"refs/heads/dev","pushedAt":"2024-05-27T15:45:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"boitsov14","name":null,"path":"/boitsov14","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/86334557?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"fc322384092a8533fd0fb8a6185a17a1fd57e091","after":"66a909a1289ccda786e7d170171113640d535157","ref":"refs/heads/dev","pushedAt":"2024-05-27T12:30:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"boitsov14","name":null,"path":"/boitsov14","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/86334557?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"6f307558fc3bfdf82b64678878a4dce21a6977ad","after":"fc322384092a8533fd0fb8a6185a17a1fd57e091","ref":"refs/heads/dev","pushedAt":"2024-05-27T11:53:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"boitsov14","name":null,"path":"/boitsov14","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/86334557?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"c19a34ba285a68bbf9d43c3ee547116a24e987f3","after":"6f307558fc3bfdf82b64678878a4dce21a6977ad","ref":"refs/heads/dev","pushedAt":"2024-05-27T11:11:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"boitsov14","name":null,"path":"/boitsov14","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/86334557?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"7b3abd0536e05064ea764a4b7eb7717a97a4dcc2","after":"c19a34ba285a68bbf9d43c3ee547116a24e987f3","ref":"refs/heads/dev","pushedAt":"2024-05-27T08:49:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"boitsov14","name":null,"path":"/boitsov14","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/86334557?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"44a000ae3c00de3402ed18da70cdc71b4c41f2a1","after":"7b3abd0536e05064ea764a4b7eb7717a97a4dcc2","ref":"refs/heads/dev","pushedAt":"2024-05-25T12:14:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"boitsov14","name":null,"path":"/boitsov14","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/86334557?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"5a188232f2c4ee5ee12d2b79d656dd78a0d023eb","after":"44a000ae3c00de3402ed18da70cdc71b4c41f2a1","ref":"refs/heads/dev","pushedAt":"2024-05-24T23:25:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"boitsov14","name":null,"path":"/boitsov14","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/86334557?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"4fda2a2e124e027b558633d9d7e73f03d4699bb5","after":"5a188232f2c4ee5ee12d2b79d656dd78a0d023eb","ref":"refs/heads/dev","pushedAt":"2024-05-24T21:58:13.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"boitsov14","name":null,"path":"/boitsov14","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/86334557?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"923c6c1472b6732d11480314d60dcf3ddd3851fe","after":"4fda2a2e124e027b558633d9d7e73f03d4699bb5","ref":"refs/heads/dev","pushedAt":"2024-05-23T20:26:35.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"boitsov14","name":null,"path":"/boitsov14","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/86334557?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"3b26b6e8b34a1f6e5cb766414bb1e24c6c23d845","after":"923c6c1472b6732d11480314d60dcf3ddd3851fe","ref":"refs/heads/dev","pushedAt":"2024-05-23T13:05:53.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"boitsov14","name":null,"path":"/boitsov14","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/86334557?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"2a79a53a9b0eb46d1cc2e9cb24e3e8b33dac752f","after":"3b26b6e8b34a1f6e5cb766414bb1e24c6c23d845","ref":"refs/heads/dev","pushedAt":"2024-05-23T06:21:41.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"boitsov14","name":null,"path":"/boitsov14","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/86334557?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"6b57d4eca1a45785e032b42e6832a70ded863b5b","after":"2a79a53a9b0eb46d1cc2e9cb24e3e8b33dac752f","ref":"refs/heads/dev","pushedAt":"2024-05-22T17:47:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"boitsov14","name":null,"path":"/boitsov14","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/86334557?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"d31f3385f6d8676c77e523b7058fdcdd4c611366","after":"6b57d4eca1a45785e032b42e6832a70ded863b5b","ref":"refs/heads/dev","pushedAt":"2024-05-22T17:41:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"boitsov14","name":null,"path":"/boitsov14","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/86334557?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"1c515ca9751f97a4ecfa5bc09569af7695e2bf7d","after":"d31f3385f6d8676c77e523b7058fdcdd4c611366","ref":"refs/heads/dev","pushedAt":"2024-05-22T17:25:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"boitsov14","name":null,"path":"/boitsov14","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/86334557?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"95321a33ec0395b6d31d55c8c36d4edaa44ab61b","after":"1c515ca9751f97a4ecfa5bc09569af7695e2bf7d","ref":"refs/heads/dev","pushedAt":"2024-05-22T17:14:29.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"boitsov14","name":null,"path":"/boitsov14","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/86334557?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"0f20de966364121b889c895b8642797ba835351d","after":"95321a33ec0395b6d31d55c8c36d4edaa44ab61b","ref":"refs/heads/dev","pushedAt":"2024-05-22T11:05:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"boitsov14","name":null,"path":"/boitsov14","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/86334557?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"7411fa08ae7f26a631dea5fb849eb388dbb04524","after":"0f20de966364121b889c895b8642797ba835351d","ref":"refs/heads/dev","pushedAt":"2024-05-21T17:00:15.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"boitsov14","name":null,"path":"/boitsov14","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/86334557?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"5ff7fd43141885ad71169f72fb91daea61c106cb","after":"7411fa08ae7f26a631dea5fb849eb388dbb04524","ref":"refs/heads/dev","pushedAt":"2024-05-21T14:12:39.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"boitsov14","name":null,"path":"/boitsov14","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/86334557?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"e3c87001de7a221835913eb7154f22b1073bf9b0","after":"5ff7fd43141885ad71169f72fb91daea61c106cb","ref":"refs/heads/dev","pushedAt":"2024-05-20T17:27:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"boitsov14","name":null,"path":"/boitsov14","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/86334557?s=80&v=4"},"commit":{"message":"add Iff","shortMessageHtmlLink":"add Iff"}},{"before":"a6b05f8ec6ab60132deedb34175fcf2935e07695","after":"e3c87001de7a221835913eb7154f22b1073bf9b0","ref":"refs/heads/dev","pushedAt":"2024-05-20T14:44:27.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"boitsov14","name":null,"path":"/boitsov14","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/86334557?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"8552a1813f62cfa5c3dee619d8be2998928c9ea5","after":"a6b05f8ec6ab60132deedb34175fcf2935e07695","ref":"refs/heads/dev","pushedAt":"2024-05-12T19:17:45.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"boitsov14","name":null,"path":"/boitsov14","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/86334557?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"8e848d0af94683e9dd0d7f7dd1b52aa7802ad921","after":"8552a1813f62cfa5c3dee619d8be2998928c9ea5","ref":"refs/heads/dev","pushedAt":"2024-05-11T19:44:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"boitsov14","name":null,"path":"/boitsov14","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/86334557?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"4e779f2e30d8480da0e755d22cbc02f86c9c5eef","after":"8e848d0af94683e9dd0d7f7dd1b52aa7802ad921","ref":"refs/heads/dev","pushedAt":"2024-05-11T18:51:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"boitsov14","name":null,"path":"/boitsov14","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/86334557?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"5c0c808e3e1017b6f71d1402f78237a4e1699fdf","after":"4e779f2e30d8480da0e755d22cbc02f86c9c5eef","ref":"refs/heads/dev","pushedAt":"2024-05-10T14:48:34.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"boitsov14","name":null,"path":"/boitsov14","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/86334557?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"e7b064a3c2ba708e5186d9b2d02bd9ef18da9e8d","after":"5c0c808e3e1017b6f71d1402f78237a4e1699fdf","ref":"refs/heads/dev","pushedAt":"2024-05-10T13:10:25.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"boitsov14","name":null,"path":"/boitsov14","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/86334557?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"740f7e8b813b6a224e5f4efe178d51ff246dd696","after":"e7b064a3c2ba708e5186d9b2d02bd9ef18da9e8d","ref":"refs/heads/dev","pushedAt":"2024-05-09T16:34:33.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"boitsov14","name":null,"path":"/boitsov14","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/86334557?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"da7c8d02e9d09c5031c8b585924883b643e549d8","after":"740f7e8b813b6a224e5f4efe178d51ff246dd696","ref":"refs/heads/dev","pushedAt":"2024-05-09T14:49:49.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"boitsov14","name":null,"path":"/boitsov14","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/86334557?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"f3ee57ad78b4568addec3212913fa780cbdde479","after":"da7c8d02e9d09c5031c8b585924883b643e549d8","ref":"refs/heads/dev","pushedAt":"2024-05-09T13:28:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"boitsov14","name":null,"path":"/boitsov14","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/86334557?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"e9897ac8a4b3d9c66457b236f540c5aceffef799","after":"f3ee57ad78b4568addec3212913fa780cbdde479","ref":"refs/heads/dev","pushedAt":"2024-05-09T12:46:05.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"boitsov14","name":null,"path":"/boitsov14","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/86334557?s=80&v=4"},"commit":{"message":"cargo update","shortMessageHtmlLink":"cargo update"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEVRNpVQA","startCursor":null,"endCursor":null}},"title":"Activity · boitsov14/theorem-prover-rs"}