{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":647058046,"defaultBranch":"main","name":"barhana","ownerLogin":"mstfelg","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-05-30T01:16:32.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/43064479?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1694273377.0","currentOid":""},"activityList":{"items":[{"before":"fb1198ad7cef1cdad268afcfb3aa70dbfc39ff13","after":"74d948a6fc577e168cd3688cc1c34dc2975b6b8a","ref":"refs/heads/main","pushedAt":"2024-04-02T06:52:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mstfelg","name":"Mustafa Alelg","path":"/mstfelg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43064479?s=80&v=4"},"commit":{"message":"Add AND distributitivity over implication","shortMessageHtmlLink":"Add AND distributitivity over implication"}},{"before":"f05e06f99d33eb7aa3e37671d05ef99d49e41eb3","after":"fb1198ad7cef1cdad268afcfb3aa70dbfc39ff13","ref":"refs/heads/main","pushedAt":"2024-03-17T22:38:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mstfelg","name":"Mustafa Alelg","path":"/mstfelg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43064479?s=80&v=4"},"commit":{"message":"Identity as tautology","shortMessageHtmlLink":"Identity as tautology"}},{"before":"6d35d1cbcc63b0051d5d78d59e669107a0327f66","after":"f05e06f99d33eb7aa3e37671d05ef99d49e41eb3","ref":"refs/heads/main","pushedAt":"2024-03-17T22:33:44.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"mstfelg","name":"Mustafa Alelg","path":"/mstfelg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43064479?s=80&v=4"},"commit":{"message":"Alt theorem names","shortMessageHtmlLink":"Alt theorem names"}},{"before":"4afab1600664ddb53e2709135c2772cee5ba7942","after":"6d35d1cbcc63b0051d5d78d59e669107a0327f66","ref":"refs/heads/main","pushedAt":"2024-03-02T23:12:11.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"mstfelg","name":"Mustafa Alelg","path":"/mstfelg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43064479?s=80&v=4"},"commit":{"message":"disj_syllo proof","shortMessageHtmlLink":"disj_syllo proof"}},{"before":"3fbaab82ff42874fab88cb90309054dff96940a8","after":"4afab1600664ddb53e2709135c2772cee5ba7942","ref":"refs/heads/main","pushedAt":"2024-02-27T19:54:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mstfelg","name":"Mustafa Alelg","path":"/mstfelg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43064479?s=80&v=4"},"commit":{"message":"Add fallacies theorems","shortMessageHtmlLink":"Add fallacies theorems"}},{"before":"8ebdc4dd591e1aeed8b778c5fdf1df5329bcad72","after":"3fbaab82ff42874fab88cb90309054dff96940a8","ref":"refs/heads/main","pushedAt":"2023-12-10T07:18:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mstfelg","name":"Mustafa Alelg","path":"/mstfelg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43064479?s=80&v=4"},"commit":{"message":"Add anullment laws","shortMessageHtmlLink":"Add anullment laws"}},{"before":"1b4a582792ca0375a2b9b71db30669b0b033ecb7","after":"8ebdc4dd591e1aeed8b778c5fdf1df5329bcad72","ref":"refs/heads/main","pushedAt":"2023-12-06T00:50:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mstfelg","name":"Mustafa Alelg","path":"/mstfelg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43064479?s=80&v=4"},"commit":{"message":"Add annulment laws","shortMessageHtmlLink":"Add annulment laws"}},{"before":"55145f3890b355dbff2cdf71d6395c57a40962f8","after":"1b4a582792ca0375a2b9b71db30669b0b033ecb7","ref":"refs/heads/main","pushedAt":"2023-12-04T07:51:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mstfelg","name":"Mustafa Alelg","path":"/mstfelg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43064479?s=80&v=4"},"commit":{"message":"Add De Morgans","shortMessageHtmlLink":"Add De Morgans"}},{"before":"9bb402885ca0feb58e5938b8dbfcd5d64ec7b6b0","after":"55145f3890b355dbff2cdf71d6395c57a40962f8","ref":"refs/heads/main","pushedAt":"2023-12-01T00:34:13.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"mstfelg","name":"Mustafa Alelg","path":"/mstfelg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43064479?s=80&v=4"},"commit":{"message":"Refactor: fix sympy disjunction symbol","shortMessageHtmlLink":"Refactor: fix sympy disjunction symbol"}},{"before":"17db9a33262f64303dd27010bc81302595948998","after":"9bb402885ca0feb58e5938b8dbfcd5d64ec7b6b0","ref":"refs/heads/main","pushedAt":"2023-11-29T00:45:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mstfelg","name":"Mustafa Alelg","path":"/mstfelg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43064479?s=80&v=4"},"commit":{"message":"Add logical equivalences","shortMessageHtmlLink":"Add logical equivalences"}},{"before":"4187d43f3888f8f958d018bd4415d1127407ffc2","after":"17db9a33262f64303dd27010bc81302595948998","ref":"refs/heads/main","pushedAt":"2023-11-21T00:35:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mstfelg","name":"Mustafa Alelg","path":"/mstfelg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43064479?s=80&v=4"},"commit":{"message":"Add conjunction laws","shortMessageHtmlLink":"Add conjunction laws"}},{"before":"5ee80ba42fcebc834ee24e00b24cc4e591f0fec4","after":"4187d43f3888f8f958d018bd4415d1127407ffc2","ref":"refs/heads/main","pushedAt":"2023-11-20T07:33:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mstfelg","name":"Mustafa Alelg","path":"/mstfelg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43064479?s=80&v=4"},"commit":{"message":"Add Peirce theorem proof","shortMessageHtmlLink":"Add Peirce theorem proof"}},{"before":"a10115e83fc5acc9d96455cf7168e111709fe835","after":"5ee80ba42fcebc834ee24e00b24cc4e591f0fec4","ref":"refs/heads/main","pushedAt":"2023-11-18T23:26:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mstfelg","name":"Mustafa Alelg","path":"/mstfelg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43064479?s=80&v=4"},"commit":{"message":"Modules clean up","shortMessageHtmlLink":"Modules clean up"}},{"before":"46e707f5c713882f31e7b7b05933832014b9c72d","after":"a10115e83fc5acc9d96455cf7168e111709fe835","ref":"refs/heads/main","pushedAt":"2023-11-18T07:51:42.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"mstfelg","name":"Mustafa Alelg","path":"/mstfelg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43064479?s=80&v=4"},"commit":{"message":"Redefine ideriv and dderiv rules\n\n* Clarify the conclusion of claim proofs.","shortMessageHtmlLink":"Redefine ideriv and dderiv rules"}},{"before":"c81126b103dd8a2cfe0709f2575f37849c49db4c","after":"46e707f5c713882f31e7b7b05933832014b9c72d","ref":"refs/heads/main","pushedAt":"2023-11-17T07:48:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mstfelg","name":"Mustafa Alelg","path":"/mstfelg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43064479?s=80&v=4"},"commit":{"message":"Proof syntax update\n\n* subproofs are now within claim scopes not assumption scopes.","shortMessageHtmlLink":"Proof syntax update"}},{"before":"39a92db7753f9fc8943af6e34d6c6b3b07e22e27","after":"c81126b103dd8a2cfe0709f2575f37849c49db4c","ref":"refs/heads/main","pushedAt":"2023-11-16T06:45:53.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"mstfelg","name":"Mustafa Alelg","path":"/mstfelg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43064479?s=80&v=4"},"commit":{"message":"Add helper script","shortMessageHtmlLink":"Add helper script"}},{"before":"17deeef2bac44912739a0bce1fd3b4740e6fadb5","after":"39a92db7753f9fc8943af6e34d6c6b3b07e22e27","ref":"refs/heads/main","pushedAt":"2023-11-15T07:22:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mstfelg","name":"Mustafa Alelg","path":"/mstfelg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43064479?s=80&v=4"},"commit":{"message":"Add graph trees","shortMessageHtmlLink":"Add graph trees"}},{"before":"2dc8c55a213db6e40f5900b086c84857a33342d2","after":"17deeef2bac44912739a0bce1fd3b4740e6fadb5","ref":"refs/heads/main","pushedAt":"2023-11-14T01:14:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mstfelg","name":"Mustafa Alelg","path":"/mstfelg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43064479?s=80&v=4"},"commit":{"message":"Add axiom graphs","shortMessageHtmlLink":"Add axiom graphs"}},{"before":"95eee071f17139ed10dff2ce93d7fdfa64be68f0","after":"2dc8c55a213db6e40f5900b086c84857a33342d2","ref":"refs/heads/main","pushedAt":"2023-11-12T20:39:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mstfelg","name":"Mustafa Alelg","path":"/mstfelg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43064479?s=80&v=4"},"commit":{"message":"Add biconditional proof","shortMessageHtmlLink":"Add biconditional proof"}},{"before":"a77db5691a24b3ee329297722d03c5ba1c73ce1b","after":"95eee071f17139ed10dff2ce93d7fdfa64be68f0","ref":"refs/heads/main","pushedAt":"2023-11-12T07:51:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mstfelg","name":"Mustafa Alelg","path":"/mstfelg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43064479?s=80&v=4"},"commit":{"message":"Reformat material conditional properties","shortMessageHtmlLink":"Reformat material conditional properties"}},{"before":"cad93fc27cf50b1c54a6c0d44e6948e367a7b94c","after":"a77db5691a24b3ee329297722d03c5ba1c73ce1b","ref":"refs/heads/main","pushedAt":"2023-11-12T07:45:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mstfelg","name":"Mustafa Alelg","path":"/mstfelg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43064479?s=80&v=4"},"commit":{"message":"Move material conditional to prepositions","shortMessageHtmlLink":"Move material conditional to prepositions"}},{"before":"d216d2abe3284fab2ca2969f67994e2c5e145599","after":"cad93fc27cf50b1c54a6c0d44e6948e367a7b94c","ref":"refs/heads/main","pushedAt":"2023-11-11T00:12:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mstfelg","name":"Mustafa Alelg","path":"/mstfelg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43064479?s=80&v=4"},"commit":{"message":"Theorem imports","shortMessageHtmlLink":"Theorem imports"}},{"before":"519bad3721d8e0d3ebdf5bbadfa071f510d358bb","after":"d216d2abe3284fab2ca2969f67994e2c5e145599","ref":"refs/heads/main","pushedAt":"2023-11-10T00:31:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mstfelg","name":"Mustafa Alelg","path":"/mstfelg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43064479?s=80&v=4"},"commit":{"message":"Add theorems","shortMessageHtmlLink":"Add theorems"}},{"before":"562e0da4e5f1e24e33b743fb5d3f96d416f6d0cc","after":"519bad3721d8e0d3ebdf5bbadfa071f510d358bb","ref":"refs/heads/main","pushedAt":"2023-11-09T07:56:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mstfelg","name":"Mustafa Alelg","path":"/mstfelg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43064479?s=80&v=4"},"commit":{"message":"Add syllogism theorems","shortMessageHtmlLink":"Add syllogism theorems"}},{"before":"f1f37ae123ed83a29022e2121b319b0e9ffe8618","after":"562e0da4e5f1e24e33b743fb5d3f96d416f6d0cc","ref":"refs/heads/main","pushedAt":"2023-10-31T08:04:37.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"mstfelg","name":"Mustafa Alelg","path":"/mstfelg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43064479?s=80&v=4"},"commit":{"message":"Refactor conc to cl0 and annotate sol","shortMessageHtmlLink":"Refactor conc to cl0 and annotate sol"}},{"before":"c2fc2473f7d8ec101037a7e6448a840589c8d06c","after":"fba53f46f1cd9a6312c98852e4f53a33eedc3964","ref":"refs/heads/dev","pushedAt":"2023-09-11T09:04:36.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"mstfelg","name":"Mustafa Alelg","path":"/mstfelg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43064479?s=80&v=4"},"commit":{"message":"Add proof stack","shortMessageHtmlLink":"Add proof stack"}},{"before":"ac48b49d23d910c7bc9a09cc13a4b9ce7a6271ab","after":"c2fc2473f7d8ec101037a7e6448a840589c8d06c","ref":"refs/heads/dev","pushedAt":"2023-09-10T17:25:41.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"mstfelg","name":"Mustafa Alelg","path":"/mstfelg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43064479?s=80&v=4"},"commit":{"message":"Basic mode changing","shortMessageHtmlLink":"Basic mode changing"}},{"before":null,"after":"ac48b49d23d910c7bc9a09cc13a4b9ce7a6271ab","ref":"refs/heads/dev","pushedAt":"2023-09-09T15:29:37.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"mstfelg","name":"Mustafa Alelg","path":"/mstfelg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43064479?s=80&v=4"},"commit":{"message":"Create basic user interface","shortMessageHtmlLink":"Create basic user interface"}},{"before":"a4de7b4ff3ba7d67bb8a448d31c2fe53b084a2ad","after":"f1f37ae123ed83a29022e2121b319b0e9ffe8618","ref":"refs/heads/main","pushedAt":"2023-09-09T05:06:49.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"mstfelg","name":"Mustafa Alelg","path":"/mstfelg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43064479?s=80&v=4"},"commit":{"message":"Prepositional logic modules","shortMessageHtmlLink":"Prepositional logic modules"}},{"before":"471bb0dd027f57fc389a521bb524262582cfbbf1","after":"a4de7b4ff3ba7d67bb8a448d31c2fe53b084a2ad","ref":"refs/heads/main","pushedAt":"2023-09-05T18:05:48.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"mstfelg","name":"Mustafa Alelg","path":"/mstfelg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43064479?s=80&v=4"},"commit":{"message":"Module renaming","shortMessageHtmlLink":"Module renaming"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEJTDScQA","startCursor":null,"endCursor":null}},"title":"Activity · mstfelg/barhana"}