{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":633759971,"defaultBranch":"main","name":"lean4-modallogic","ownerLogin":"SnO2WMaN","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-04-28T08:06:34.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/15155608?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1696422123.0","currentOid":""},"activityList":{"items":[{"before":"b751f2a3dd0d075aec23749316ff298ccdf3b132","after":"9342a33ed3c1768786e348a19558e090fdb01432","ref":"refs/heads/main","pushedAt":"2024-03-03T13:19:32.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"SnO2WMaN","name":"SnO₂WMaN","path":"/SnO2WMaN","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15155608?s=80&v=4"},"commit":{"message":"Update README for archiving","shortMessageHtmlLink":"Update README for archiving"}},{"before":"896246058108e612671e5f0eae4da6d9cc1fad86","after":"b751f2a3dd0d075aec23749316ff298ccdf3b132","ref":"refs/heads/main","pushedAt":"2023-11-02T19:21:30.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"SnO2WMaN","name":"SnO₂WMaN","path":"/SnO2WMaN","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15155608?s=80&v=4"},"commit":{"message":"notation fix","shortMessageHtmlLink":"notation fix"}},{"before":"c2f27d73c246e76bc934b345aa0d377737ed6371","after":"896246058108e612671e5f0eae4da6d9cc1fad86","ref":"refs/heads/main","pushedAt":"2023-10-14T13:28:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"SnO2WMaN","name":"SnO₂WMaN","path":"/SnO2WMaN","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15155608?s=80&v=4"},"commit":{"message":"refactoring Notations","shortMessageHtmlLink":"refactoring Notations"}},{"before":"a797b44e5072e58e184ed314e05ef2b67b60a590","after":"c2f27d73c246e76bc934b345aa0d377737ed6371","ref":"refs/heads/main","pushedAt":"2023-10-11T10:25:25.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"SnO2WMaN","name":"SnO₂WMaN","path":"/SnO2WMaN","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15155608?s=80&v=4"},"commit":{"message":"Fix deduction system","shortMessageHtmlLink":"Fix deduction system"}},{"before":"2b1600b9d7d48d0533da091ef6f8a6d128a61ea8","after":"a797b44e5072e58e184ed314e05ef2b67b60a590","ref":"refs/heads/main","pushedAt":"2023-10-07T11:59:32.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"SnO2WMaN","name":"SnO₂WMaN","path":"/SnO2WMaN","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15155608?s=80&v=4"},"commit":{"message":"refactoring arithmetic","shortMessageHtmlLink":"refactoring arithmetic"}},{"before":"2e3b29f31c3b33b99fbc54dd5d5dc656b844ee74","after":"2b1600b9d7d48d0533da091ef6f8a6d128a61ea8","ref":"refs/heads/main","pushedAt":"2023-10-05T10:21:29.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"SnO2WMaN","name":"SnO₂WMaN","path":"/SnO2WMaN","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15155608?s=80&v=4"},"commit":{"message":"Remove old Incompleteness proof","shortMessageHtmlLink":"Remove old Incompleteness proof"}},{"before":"a90abc0312dfc8b2d94026ac0fb2dcad0db85324","after":"2e3b29f31c3b33b99fbc54dd5d5dc656b844ee74","ref":"refs/heads/main","pushedAt":"2023-10-05T02:49:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"SnO2WMaN","name":"SnO₂WMaN","path":"/SnO2WMaN","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15155608?s=80&v=4"},"commit":{"message":"Add README & LICENSE","shortMessageHtmlLink":"Add README &amp; LICENSE"}},{"before":"0301cb9f0aa63dc5729eb8fce5421f077e4b3039","after":"a90abc0312dfc8b2d94026ac0fb2dcad0db85324","ref":"refs/heads/main","pushedAt":"2023-10-05T02:21:24.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"SnO2WMaN","name":"SnO₂WMaN","path":"/SnO2WMaN","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15155608?s=80&v=4"},"commit":{"message":"root","shortMessageHtmlLink":"root"}},{"before":"0301cb9f0aa63dc5729eb8fce5421f077e4b3039","after":null,"ref":"refs/heads/recreate","pushedAt":"2023-10-04T12:22:03.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"SnO2WMaN","name":"SnO₂WMaN","path":"/SnO2WMaN","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15155608?s=80&v=4"}},{"before":null,"after":"0301cb9f0aa63dc5729eb8fce5421f077e4b3039","ref":"refs/heads/main","pushedAt":"2023-10-04T12:21:37.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"SnO2WMaN","name":"SnO₂WMaN","path":"/SnO2WMaN","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15155608?s=80&v=4"},"commit":{"message":"some refactoring in propositional logic","shortMessageHtmlLink":"some refactoring in propositional logic"}},{"before":"c68ff8bc5aa6e788a417b06fd21aa7049995c7e0","after":null,"ref":"refs/heads/main","pushedAt":"2023-10-04T12:21:08.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"SnO2WMaN","name":"SnO₂WMaN","path":"/SnO2WMaN","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15155608?s=80&v=4"}},{"before":null,"after":"5c7e42521cb23e55b509bc35a8074299f68b8d0d","ref":"refs/heads/new","pushedAt":"2023-10-04T12:21:07.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"SnO2WMaN","name":"SnO₂WMaN","path":"/SnO2WMaN","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15155608?s=80&v=4"},"commit":{"message":"Instantiate propositional formula encodable","shortMessageHtmlLink":"Instantiate propositional formula encodable"}},{"before":"5c7e42521cb23e55b509bc35a8074299f68b8d0d","after":null,"ref":"refs/heads/new","pushedAt":"2023-10-04T12:21:05.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"SnO2WMaN","name":"SnO₂WMaN","path":"/SnO2WMaN","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15155608?s=80&v=4"}},{"before":"6266247a1e08527f7a80665d33f18ffab497997e","after":"0301cb9f0aa63dc5729eb8fce5421f077e4b3039","ref":"refs/heads/recreate","pushedAt":"2023-10-04T12:18:48.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"SnO2WMaN","name":"SnO₂WMaN","path":"/SnO2WMaN","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15155608?s=80&v=4"},"commit":{"message":"some refactoring in propositional logic","shortMessageHtmlLink":"some refactoring in propositional logic"}},{"before":"d81056602e08033e01712d9e7a600080f49341e8","after":"6266247a1e08527f7a80665d33f18ffab497997e","ref":"refs/heads/recreate","pushedAt":"2023-10-03T20:55:43.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"SnO2WMaN","name":"SnO₂WMaN","path":"/SnO2WMaN","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15155608?s=80&v=4"},"commit":{"message":"Rewrite of Incompleteness wip","shortMessageHtmlLink":"Rewrite of Incompleteness wip"}},{"before":"e9e5737ebc21cdb848db4e08fe94af2497819e13","after":"d81056602e08033e01712d9e7a600080f49341e8","ref":"refs/heads/recreate","pushedAt":"2023-10-01T22:00:52.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"SnO2WMaN","name":"SnO₂WMaN","path":"/SnO2WMaN","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15155608?s=80&v=4"},"commit":{"message":"prove by `aesop`","shortMessageHtmlLink":"prove by <code>aesop</code>"}},{"before":null,"after":"e9e5737ebc21cdb848db4e08fe94af2497819e13","ref":"refs/heads/recreate","pushedAt":"2023-10-01T07:16:10.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"SnO2WMaN","name":"SnO₂WMaN","path":"/SnO2WMaN","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15155608?s=80&v=4"},"commit":{"message":"pseudo incompleteness wip","shortMessageHtmlLink":"pseudo incompleteness wip"}},{"before":"229db528211cb81bddc5cd9260ccf39251d38347","after":"5c7e42521cb23e55b509bc35a8074299f68b8d0d","ref":"refs/heads/new","pushedAt":"2023-07-01T07:00:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"SnO2WMaN","name":"SnO₂WMaN","path":"/SnO2WMaN","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15155608?s=80&v=4"},"commit":{"message":"Instantiate propositional formula encodable","shortMessageHtmlLink":"Instantiate propositional formula encodable"}},{"before":"05194ba85e658dbd69624a5aa3e828d8bb2d2e3c","after":"229db528211cb81bddc5cd9260ccf39251d38347","ref":"refs/heads/new","pushedAt":"2023-06-29T03:03:38.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"SnO2WMaN","name":"SnO₂WMaN","path":"/SnO2WMaN","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15155608?s=80&v=4"},"commit":{"message":"completeness wip","shortMessageHtmlLink":"completeness wip"}},{"before":null,"after":"05194ba85e658dbd69624a5aa3e828d8bb2d2e3c","ref":"refs/heads/new","pushedAt":"2023-06-29T02:52:52.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"SnO2WMaN","name":"SnO₂WMaN","path":"/SnO2WMaN","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15155608?s=80&v=4"},"commit":{"message":"rm HilbertProof","shortMessageHtmlLink":"rm HilbertProof"}},{"before":"0cfc59c78530c8870935af1d0e4ab3619e0b2991","after":"c68ff8bc5aa6e788a417b06fd21aa7049995c7e0","ref":"refs/heads/main","pushedAt":"2023-05-03T07:37:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"SnO2WMaN","name":"SnO₂WMaN","path":"/SnO2WMaN","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15155608?s=80&v=4"},"commit":{"message":"wip but","shortMessageHtmlLink":"wip but"}},{"before":"2f7dcb81f2ec46cb7d67c47b20b6493303284228","after":"0cfc59c78530c8870935af1d0e4ab3619e0b2991","ref":"refs/heads/main","pushedAt":"2023-05-01T18:28:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"SnO2WMaN","name":"SnO₂WMaN","path":"/SnO2WMaN","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15155608?s=80&v=4"},"commit":{"message":"Sequent Calculus in Propositional Logic","shortMessageHtmlLink":"Sequent Calculus in Propositional Logic"}},{"before":null,"after":"2f7dcb81f2ec46cb7d67c47b20b6493303284228","ref":"refs/heads/main","pushedAt":"2023-04-28T08:06:38.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"SnO2WMaN","name":"SnO₂WMaN","path":"/SnO2WMaN","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15155608?s=80&v=4"},"commit":{"message":"Initial commit","shortMessageHtmlLink":"Initial commit"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAECv0SEgA","startCursor":null,"endCursor":null}},"title":"Activity · SnO2WMaN/lean4-modallogic"}