{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":638074325,"defaultBranch":"main","name":"Proofmood","ownerLogin":"jhjeong314","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-05-09T03:02:16.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/31172152?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1683601338.0","currentOid":""},"activityList":{"items":[{"before":"7c1b09978db3e8c3dea7bc7a3374eb3b9a2ea536","after":"f6dbd36dc6656797c8c5a98623ba4d2fd3ad349b","ref":"refs/heads/main","pushedAt":"2023-11-01T03:41:51.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"jhjeong314","name":"Joohee Jeong","path":"/jhjeong314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31172152?s=80&v=4"},"commit":{"message":"Update README.md and history.md","shortMessageHtmlLink":"Update README.md and history.md"}},{"before":"d948df5773cac9935bfb4a702ff9f73bd5a24a48","after":"7c1b09978db3e8c3dea7bc7a3374eb3b9a2ea536","ref":"refs/heads/main","pushedAt":"2023-10-19T06:00:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jhjeong314","name":"Joohee Jeong","path":"/jhjeong314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31172152?s=80&v=4"},"commit":{"message":"Update README.md\n\nadd Google  Colab links","shortMessageHtmlLink":"Update README.md"}},{"before":"9426544418516b536dc2c28e65c49034f27b9b8b","after":"d948df5773cac9935bfb4a702ff9f73bd5a24a48","ref":"refs/heads/main","pushedAt":"2023-10-19T05:05:29.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"jhjeong314","name":"Joohee Jeong","path":"/jhjeong314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31172152?s=80&v=4"},"commit":{"message":"Fix ImportError","shortMessageHtmlLink":"Fix ImportError"}},{"before":"d0a89ec73682a11f997e949b044c1f4902109282","after":"9426544418516b536dc2c28e65c49034f27b9b8b","ref":"refs/heads/main","pushedAt":"2023-10-19T04:44:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jhjeong314","name":"Joohee Jeong","path":"/jhjeong314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31172152?s=80&v=4"},"commit":{"message":"Update validate_prop.py","shortMessageHtmlLink":"Update validate_prop.py"}},{"before":"46cc0ff01aed04d657329f6e6aee4371e09244cb","after":"d0a89ec73682a11f997e949b044c1f4902109282","ref":"refs/heads/main","pushedAt":"2023-10-19T04:38:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jhjeong314","name":"Joohee Jeong","path":"/jhjeong314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31172152?s=80&v=4"},"commit":{"message":"Update truth_table.py","shortMessageHtmlLink":"Update truth_table.py"}},{"before":"80ffba989e47b470ee6d56667bb7d183865b0fd1","after":"46cc0ff01aed04d657329f6e6aee4371e09244cb","ref":"refs/heads/main","pushedAt":"2023-10-19T04:26:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jhjeong314","name":"Joohee Jeong","path":"/jhjeong314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31172152?s=80&v=4"},"commit":{"message":"Update first_order_logic_parse.py","shortMessageHtmlLink":"Update first_order_logic_parse.py"}},{"before":"41887b70956b5624df5d185eff61057873c6431c","after":"80ffba989e47b470ee6d56667bb7d183865b0fd1","ref":"refs/heads/main","pushedAt":"2023-10-19T04:08:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jhjeong314","name":"Joohee Jeong","path":"/jhjeong314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31172152?s=80&v=4"},"commit":{"message":"Update README.md 3","shortMessageHtmlLink":"Update README.md 3"}},{"before":"c9ddf4b08219b6277328da2014e0827739a90c8a","after":"41887b70956b5624df5d185eff61057873c6431c","ref":"refs/heads/main","pushedAt":"2023-10-19T04:05:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jhjeong314","name":"Joohee Jeong","path":"/jhjeong314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31172152?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"083cfd66dc36fc3b8399d0a4c1cb3480491a6b8a","after":"c9ddf4b08219b6277328da2014e0827739a90c8a","ref":"refs/heads/main","pushedAt":"2023-10-19T04:02:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jhjeong314","name":"Joohee Jeong","path":"/jhjeong314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31172152?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"d9c3af494bec973c4d4d91f8a5215a1dd6536e14","after":"083cfd66dc36fc3b8399d0a4c1cb3480491a6b8a","ref":"refs/heads/main","pushedAt":"2023-10-19T04:01:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jhjeong314","name":"Joohee Jeong","path":"/jhjeong314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31172152?s=80&v=4"},"commit":{"message":"Update README.md 2","shortMessageHtmlLink":"Update README.md 2"}},{"before":"dec631768afe0dd79cb621b8b46e35f125128ae7","after":"d9c3af494bec973c4d4d91f8a5215a1dd6536e14","ref":"refs/heads/main","pushedAt":"2023-10-19T03:59:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jhjeong314","name":"Joohee Jeong","path":"/jhjeong314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31172152?s=80&v=4"},"commit":{"message":"Update README.md (very minor)","shortMessageHtmlLink":"Update README.md (very minor)"}},{"before":"5454cb25a155c9dbf2d0ed1a2366810bc9afb76d","after":"dec631768afe0dd79cb621b8b46e35f125128ae7","ref":"refs/heads/main","pushedAt":"2023-10-19T03:55:32.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"jhjeong314","name":"Joohee Jeong","path":"/jhjeong314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31172152?s=80&v=4"},"commit":{"message":"Automatic annotation","shortMessageHtmlLink":"Automatic annotation"}},{"before":"efe89688845e10aeead1f47e59e9c1e4d8c7e467","after":"5454cb25a155c9dbf2d0ed1a2366810bc9afb76d","ref":"refs/heads/main","pushedAt":"2023-10-17T08:03:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jhjeong314","name":"Joohee Jeong","path":"/jhjeong314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31172152?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"87a655eaefe8f226b9c719c363f51303b0cccd31","after":"efe89688845e10aeead1f47e59e9c1e4d8c7e467","ref":"refs/heads/main","pushedAt":"2023-10-07T04:17:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jhjeong314","name":"Joohee Jeong","path":"/jhjeong314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31172152?s=80&v=4"},"commit":{"message":"Alpha-beta pruning\n\nFor later use in Fitch proof tree","shortMessageHtmlLink":"Alpha-beta pruning"}},{"before":"f965ccb7a5f42954a80ea98e5c07cd34da08c3a6","after":"87a655eaefe8f226b9c719c363f51303b0cccd31","ref":"refs/heads/main","pushedAt":"2023-09-29T09:42:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jhjeong314","name":"Joohee Jeong","path":"/jhjeong314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31172152?s=80&v=4"},"commit":{"message":"Minor change","shortMessageHtmlLink":"Minor change"}},{"before":"fb8b06eded4ce57382a84255aee4e768cdeba646","after":"f965ccb7a5f42954a80ea98e5c07cd34da08c3a6","ref":"refs/heads/main","pushedAt":"2023-09-28T09:46:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jhjeong314","name":"Joohee Jeong","path":"/jhjeong314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31172152?s=80&v=4"},"commit":{"message":"Bug fix (import in imported .py)","shortMessageHtmlLink":"Bug fix (import in imported .py)"}},{"before":"84265bacc82d765892ee387871b0873c0b0b18a5","after":"fb8b06eded4ce57382a84255aee4e768cdeba646","ref":"refs/heads/main","pushedAt":"2023-09-28T09:33:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jhjeong314","name":"Joohee Jeong","path":"/jhjeong314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31172152?s=80&v=4"},"commit":{"message":"Debug, sys.path","shortMessageHtmlLink":"Debug, sys.path"}},{"before":"cc7dd257fb7e92fa63c20b436e3d6532b91074b1","after":"84265bacc82d765892ee387871b0873c0b0b18a5","ref":"refs/heads/main","pushedAt":"2023-09-28T09:31:56.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"jhjeong314","name":"Joohee Jeong","path":"/jhjeong314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31172152?s=80&v=4"},"commit":{"message":"Tautology examples","shortMessageHtmlLink":"Tautology examples"}},{"before":"84265bacc82d765892ee387871b0873c0b0b18a5","after":"cc7dd257fb7e92fa63c20b436e3d6532b91074b1","ref":"refs/heads/main","pushedAt":"2023-09-28T09:01:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jhjeong314","name":"Joohee Jeong","path":"/jhjeong314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31172152?s=80&v=4"},"commit":{"message":"Update fitch_prop.py","shortMessageHtmlLink":"Update fitch_prop.py"}},{"before":"61775a934d0cebd198e4e287f921dda6f57b2255","after":"84265bacc82d765892ee387871b0873c0b0b18a5","ref":"refs/heads/main","pushedAt":"2023-09-28T08:33:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jhjeong314","name":"Joohee Jeong","path":"/jhjeong314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31172152?s=80&v=4"},"commit":{"message":"Tautology examples","shortMessageHtmlLink":"Tautology examples"}},{"before":"2afc51f7873c0db95954e2b0561c6ab755260605","after":"61775a934d0cebd198e4e287f921dda6f57b2255","ref":"refs/heads/main","pushedAt":"2023-09-21T12:10:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jhjeong314","name":"Joohee Jeong","path":"/jhjeong314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31172152?s=80&v=4"},"commit":{"message":"LaTeX output\n\nincludes the validation result for each line","shortMessageHtmlLink":"LaTeX output"}},{"before":"fa96421ce0cdcf3dbe973a1b8a498e984bd93656","after":"2afc51f7873c0db95954e2b0561c6ab755260605","ref":"refs/heads/main","pushedAt":"2023-09-20T05:16:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jhjeong314","name":"Joohee Jeong","path":"/jhjeong314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31172152?s=80&v=4"},"commit":{"message":"Deal with comments and blank lines","shortMessageHtmlLink":"Deal with comments and blank lines"}},{"before":"4e15111c084c0d62144a73beb43e2d0713c295dd","after":"fa96421ce0cdcf3dbe973a1b8a498e984bd93656","ref":"refs/heads/main","pushedAt":"2023-09-19T10:07:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jhjeong314","name":"Joohee Jeong","path":"/jhjeong314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31172152?s=80&v=4"},"commit":{"message":"Proof verification 2","shortMessageHtmlLink":"Proof verification 2"}},{"before":"348ff902544992ade281ff3323afbeb159d56570","after":"4e15111c084c0d62144a73beb43e2d0713c295dd","ref":"refs/heads/main","pushedAt":"2023-09-18T13:05:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jhjeong314","name":"Joohee Jeong","path":"/jhjeong314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31172152?s=80&v=4"},"commit":{"message":"Proof verification 1","shortMessageHtmlLink":"Proof verification 1"}},{"before":"0871137687a8cc240bf916d27590fd8707ad975c","after":"348ff902544992ade281ff3323afbeb159d56570","ref":"refs/heads/main","pushedAt":"2023-09-13T14:07:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jhjeong314","name":"Joohee Jeong","path":"/jhjeong314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31172152?s=80&v=4"},"commit":{"message":"Index proof tree nodes","shortMessageHtmlLink":"Index proof tree nodes"}},{"before":"ffb0a4a217695b6a1c419d339b1f6d74f8c73793","after":"0871137687a8cc240bf916d27590fd8707ad975c","ref":"refs/heads/main","pushedAt":"2023-09-12T02:54:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jhjeong314","name":"Joohee Jeong","path":"/jhjeong314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31172152?s=80&v=4"},"commit":{"message":"Parsing, complete","shortMessageHtmlLink":"Parsing, complete"}},{"before":"cf9da94767101023578e4f68f9e437cde49ceb33","after":"ffb0a4a217695b6a1c419d339b1f6d74f8c73793","ref":"refs/heads/main","pushedAt":"2023-09-11T12:36:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jhjeong314","name":"Joohee Jeong","path":"/jhjeong314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31172152?s=80&v=4"},"commit":{"message":"Parsing, step 1","shortMessageHtmlLink":"Parsing, step 1"}},{"before":"ffb25de062adbb73ab8cc51f15b2f0038f8f7690","after":"cf9da94767101023578e4f68f9e437cde49ceb33","ref":"refs/heads/main","pushedAt":"2023-09-08T13:25:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jhjeong314","name":"Joohee Jeong","path":"/jhjeong314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31172152?s=80&v=4"},"commit":{"message":"Fitch proof, step 1\n\n3 Classes\n(1) Ann (for annotation)\n(2) NodeLabel (like token)\n(3) ProofNode","shortMessageHtmlLink":"Fitch proof, step 1"}},{"before":"13a88acd817dab71b82da17e2baf905c46a31a29","after":"ffb25de062adbb73ab8cc51f15b2f0038f8f7690","ref":"refs/heads/main","pushedAt":"2023-08-10T12:47:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jhjeong314","name":"Joohee Jeong","path":"/jhjeong314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31172152?s=80&v=4"},"commit":{"message":"New Document.pdf\n\nextensively revised","shortMessageHtmlLink":"New Document.pdf"}},{"before":"29852c067877757da84aa6ea8b915f407e6f9541","after":"13a88acd817dab71b82da17e2baf905c46a31a29","ref":"refs/heads/main","pushedAt":"2023-08-09T13:42:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jhjeong314","name":"Joohee Jeong","path":"/jhjeong314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31172152?s=80&v=4"},"commit":{"message":"Add Document.pdf\n\nminor improvement or truth_table.py","shortMessageHtmlLink":"Add Document.pdf"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADpJg9RgA","startCursor":null,"endCursor":null}},"title":"Activity · jhjeong314/Proofmood"}