{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":664231359,"defaultBranch":"main","name":"nnoq","ownerLogin":"pro465","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-07-09T10:23:01.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/67726964?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1688898585.0","currentOid":""},"activityList":{"items":[{"before":"e86a9077107bb2603ea886ab68ad9cdf4ecdf5fb","after":"ca5aff4a45d382475bcf94ce0dde05e247670c75","ref":"refs/heads/main","pushedAt":"2023-10-23T11:29:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pro465","name":"Proloy Mishra","path":"/pro465","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/67726964?s=80&v=4"},"commit":{"message":"Update tutorial.md","shortMessageHtmlLink":"Update tutorial.md"}},{"before":"fd5fe217b01cb3fe91a03e47c1c75c1f6ca269f0","after":"e86a9077107bb2603ea886ab68ad9cdf4ecdf5fb","ref":"refs/heads/main","pushedAt":"2023-08-26T08:40:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pro465","name":"Proloy Mishra","path":"/pro465","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/67726964?s=80&v=4"},"commit":{"message":"Update tutorial.md","shortMessageHtmlLink":"Update tutorial.md"}},{"before":"702f566ab83cbf399391d243b873cd792540d205","after":"fd5fe217b01cb3fe91a03e47c1c75c1f6ca269f0","ref":"refs/heads/main","pushedAt":"2023-08-26T08:37:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pro465","name":"Proloy Mishra","path":"/pro465","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/67726964?s=80&v=4"},"commit":{"message":"Update tutorial.md","shortMessageHtmlLink":"Update tutorial.md"}},{"before":"1fa5e15630e7132a0a01226107ef0d38c598c7ad","after":"702f566ab83cbf399391d243b873cd792540d205","ref":"refs/heads/main","pushedAt":"2023-08-20T06:15:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pro465","name":"Proloy Mishra","path":"/pro465","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/67726964?s=80&v=4"},"commit":{"message":"move foundations to its own file","shortMessageHtmlLink":"move foundations to its own file"}},{"before":"7c36aada5b801c148dcd07f13d49cbed52c0fd27","after":"1fa5e15630e7132a0a01226107ef0d38c598c7ad","ref":"refs/heads/main","pushedAt":"2023-08-18T13:58:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pro465","name":"Proloy Mishra","path":"/pro465","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/67726964?s=80&v=4"},"commit":{"message":"terminology change: \"conv\" => \"inv\"","shortMessageHtmlLink":"terminology change: \"conv\" => \"inv\""}},{"before":"1f4cfeb63faeb252ba7715edcdb624bdd87db070","after":"7c36aada5b801c148dcd07f13d49cbed52c0fd27","ref":"refs/heads/main","pushedAt":"2023-08-17T17:22:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pro465","name":"Proloy Mishra","path":"/pro465","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/67726964?s=80&v=4"},"commit":{"message":"Update tutorial.md","shortMessageHtmlLink":"Update tutorial.md"}},{"before":"0c004528a044f0861a98db9f7a46ad7cecdaa7d5","after":"1f4cfeb63faeb252ba7715edcdb624bdd87db070","ref":"refs/heads/main","pushedAt":"2023-08-17T11:37:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pro465","name":"Proloy Mishra","path":"/pro465","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/67726964?s=80&v=4"},"commit":{"message":"Update tutorial.md","shortMessageHtmlLink":"Update tutorial.md"}},{"before":"2b4ced8c217296cfb2c875208a4cdf77833761c1","after":"0c004528a044f0861a98db9f7a46ad7cecdaa7d5","ref":"refs/heads/main","pushedAt":"2023-08-17T11:18:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pro465","name":"Proloy Mishra","path":"/pro465","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/67726964?s=80&v=4"},"commit":{"message":"Update tutorial.md","shortMessageHtmlLink":"Update tutorial.md"}},{"before":"154023b1fad6fd8eb65c32c64ae4d92d8eb028d0","after":"2b4ced8c217296cfb2c875208a4cdf77833761c1","ref":"refs/heads/main","pushedAt":"2023-08-17T11:00:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pro465","name":"Proloy Mishra","path":"/pro465","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/67726964?s=80&v=4"},"commit":{"message":"Update tutorial.md","shortMessageHtmlLink":"Update tutorial.md"}},{"before":"8a7c6ae3281d43cf8d3443f4bac5f62b6054b99c","after":"154023b1fad6fd8eb65c32c64ae4d92d8eb028d0","ref":"refs/heads/main","pushedAt":"2023-08-16T07:25:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pro465","name":"Proloy Mishra","path":"/pro465","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/67726964?s=80&v=4"},"commit":{"message":"Update tutorial.md to add details about theorems","shortMessageHtmlLink":"Update tutorial.md to add details about theorems"}},{"before":"46921556f004f165cef82516716c36f36173e711","after":"8a7c6ae3281d43cf8d3443f4bac5f62b6054b99c","ref":"refs/heads/main","pushedAt":"2023-08-15T16:45:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pro465","name":"Proloy Mishra","path":"/pro465","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/67726964?s=80&v=4"},"commit":{"message":"Update tutorial.md","shortMessageHtmlLink":"Update tutorial.md"}},{"before":"361307b5def76ffc2f038908861e4467fa45f22f","after":"46921556f004f165cef82516716c36f36173e711","ref":"refs/heads/main","pushedAt":"2023-08-15T14:00:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pro465","name":"Proloy Mishra","path":"/pro465","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/67726964?s=80&v=4"},"commit":{"message":"Update tutorial.md","shortMessageHtmlLink":"Update tutorial.md"}},{"before":"8d682eb1e063ff7ee7ffd5be6df6ca314cc3e75f","after":"361307b5def76ffc2f038908861e4467fa45f22f","ref":"refs/heads/main","pushedAt":"2023-08-15T13:35:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pro465","name":"Proloy Mishra","path":"/pro465","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/67726964?s=80&v=4"},"commit":{"message":"Update tutorial.md","shortMessageHtmlLink":"Update tutorial.md"}},{"before":"8e358f05a75765fd48f51bd5bff2126e4a9cfccc","after":"8d682eb1e063ff7ee7ffd5be6df6ca314cc3e75f","ref":"refs/heads/main","pushedAt":"2023-08-15T13:34:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pro465","name":"Proloy Mishra","path":"/pro465","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/67726964?s=80&v=4"},"commit":{"message":"Update tutorial.md","shortMessageHtmlLink":"Update tutorial.md"}},{"before":"25ed83f8ee5a2a3d9932ed1070283e51ce4a8f07","after":"8e358f05a75765fd48f51bd5bff2126e4a9cfccc","ref":"refs/heads/main","pushedAt":"2023-08-15T09:47:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pro465","name":"Proloy Mishra","path":"/pro465","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/67726964?s=80&v=4"},"commit":{"message":"Update README.md to add link to tutorial","shortMessageHtmlLink":"Update README.md to add link to tutorial"}},{"before":"15b9ab5022cdbe9292f0808daa8735b28b35f74c","after":"25ed83f8ee5a2a3d9932ed1070283e51ce4a8f07","ref":"refs/heads/main","pushedAt":"2023-08-15T09:44:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pro465","name":"Proloy Mishra","path":"/pro465","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/67726964?s=80&v=4"},"commit":{"message":"Create tutorial.md","shortMessageHtmlLink":"Create tutorial.md"}},{"before":"0dcee2325a421b66a998dfe7be6ce164e1691e8d","after":"15b9ab5022cdbe9292f0808daa8735b28b35f74c","ref":"refs/heads/main","pushedAt":"2023-08-14T16:01:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pro465","name":"Proloy Mishra","path":"/pro465","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/67726964?s=80&v=4"},"commit":{"message":"update rule names for  De Morgan's laws' converses","shortMessageHtmlLink":"update rule names for De Morgan's laws' converses"}},{"before":"3df633e9498dd660b04270d9c6f59458184e91b8","after":"0dcee2325a421b66a998dfe7be6ce164e1691e8d","ref":"refs/heads/main","pushedAt":"2023-08-14T15:59:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pro465","name":"Proloy Mishra","path":"/pro465","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/67726964?s=80&v=4"},"commit":{"message":"add descriptive names for rules","shortMessageHtmlLink":"add descriptive names for rules"}},{"before":"b7a2a15974ad32446aac0e33ec3c9b2c37ad917d","after":"3df633e9498dd660b04270d9c6f59458184e91b8","ref":"refs/heads/main","pushedAt":"2023-08-14T15:30:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pro465","name":"Proloy Mishra","path":"/pro465","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/67726964?s=80&v=4"},"commit":{"message":"add De Morgan's Laws","shortMessageHtmlLink":"add De Morgan's Laws"}},{"before":"27c342aa3a6661263cb1acb42ec2c384cf6f07f6","after":"b7a2a15974ad32446aac0e33ec3c9b2c37ad917d","ref":"refs/heads/main","pushedAt":"2023-08-07T14:04:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pro465","name":"Proloy Mishra","path":"/pro465","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/67726964?s=80&v=4"},"commit":{"message":"change foundation","shortMessageHtmlLink":"change foundation"}},{"before":"321626f67d41c1be0535406bedfa2feb5669f5e8","after":"27c342aa3a6661263cb1acb42ec2c384cf6f07f6","ref":"refs/heads/main","pushedAt":"2023-08-06T14:06:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pro465","name":"Proloy Mishra","path":"/pro465","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/67726964?s=80&v=4"},"commit":{"message":"add boolean algebra + format some files","shortMessageHtmlLink":"add boolean algebra + format some files"}},{"before":"209893e61f286bf0a1b26fecde011cb93249fc96","after":"321626f67d41c1be0535406bedfa2feb5669f5e8","ref":"refs/heads/main","pushedAt":"2023-08-06T07:00:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pro465","name":"Proloy Mishra","path":"/pro465","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/67726964?s=80&v=4"},"commit":{"message":"change syntax a bit","shortMessageHtmlLink":"change syntax a bit"}},{"before":"f4652b28cbbc3c0bf987ed0a6262a671bc7e209c","after":"209893e61f286bf0a1b26fecde011cb93249fc96","ref":"refs/heads/main","pushedAt":"2023-08-02T17:52:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pro465","name":"Proloy Mishra","path":"/pro465","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/67726964?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"dd9444a6016f480e071eb86d2e3aaf103ab1fe73","after":"f4652b28cbbc3c0bf987ed0a6262a671bc7e209c","ref":"refs/heads/main","pushedAt":"2023-08-02T10:25:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pro465","name":"Proloy Mishra","path":"/pro465","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/67726964?s=80&v=4"},"commit":{"message":"add second double negation theorem","shortMessageHtmlLink":"add second double negation theorem"}},{"before":"47519430e44fc74d9a40d224b92c739fc6e2e368","after":"dd9444a6016f480e071eb86d2e3aaf103ab1fe73","ref":"refs/heads/main","pushedAt":"2023-08-02T10:18:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pro465","name":"Proloy Mishra","path":"/pro465","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/67726964?s=80&v=4"},"commit":{"message":"change syntax + add checks\n\nalso add double negation theorem","shortMessageHtmlLink":"change syntax + add checks"}},{"before":"dbfc6699ed20d8ac103aac681dad442b29a741c9","after":"47519430e44fc74d9a40d224b92c739fc6e2e368","ref":"refs/heads/main","pushedAt":"2023-08-01T09:54:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pro465","name":"Proloy Mishra","path":"/pro465","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/67726964?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"2d5a0362c6a866f1d3ed0b4cbc78a6847cbf938c","after":"dbfc6699ed20d8ac103aac681dad442b29a741c9","ref":"refs/heads/main","pushedAt":"2023-08-01T08:45:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pro465","name":"Proloy Mishra","path":"/pro465","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/67726964?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"15ca4b25477fa234aa3a8454b246da725412650c","after":"2d5a0362c6a866f1d3ed0b4cbc78a6847cbf938c","ref":"refs/heads/main","pushedAt":"2023-08-01T08:39:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pro465","name":"Proloy Mishra","path":"/pro465","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/67726964?s=80&v=4"},"commit":{"message":"fix bug in defs","shortMessageHtmlLink":"fix bug in defs"}},{"before":"dda5e5b8312b1aadb563a1889409b64fee925d40","after":"15ca4b25477fa234aa3a8454b246da725412650c","ref":"refs/heads/main","pushedAt":"2023-08-01T06:46:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pro465","name":"Proloy Mishra","path":"/pro465","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/67726964?s=80&v=4"},"commit":{"message":"feature to ensure resulting expression is as expected","shortMessageHtmlLink":"feature to ensure resulting expression is as expected"}},{"before":"be7c2e5b29de8bffba5b84233d4ba84fa59b3f71","after":"dda5e5b8312b1aadb563a1889409b64fee925d40","ref":"refs/heads/main","pushedAt":"2023-07-31T13:10:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pro465","name":"Proloy Mishra","path":"/pro465","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/67726964?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADnX-QEQA","startCursor":null,"endCursor":null}},"title":"Activity · pro465/nnoq"}