{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":713747517,"defaultBranch":"main","name":"nyaya","ownerLogin":"pro465","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-11-03T06:47:04.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/67726964?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1698994122.0","currentOid":""},"activityList":{"items":[{"before":"44f17532f7416415d29fe153cfe785ea624bef4a","after":"9d85b5e4f3d347a97273bdb12ba67eda3c6297fa","ref":"refs/heads/main","pushedAt":"2024-01-23T16:21:27.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":"fb7487d4906ac0df0f9047e2d3391b0f5199b314","after":"44f17532f7416415d29fe153cfe785ea624bef4a","ref":"refs/heads/main","pushedAt":"2024-01-23T15:54:56.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":"explain EIRs","shortMessageHtmlLink":"explain EIRs"}},{"before":"79541aed2ed183c4fa66380daf37924bd515c61b","after":"fb7487d4906ac0df0f9047e2d3391b0f5199b314","ref":"refs/heads/main","pushedAt":"2024-01-23T13:58: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":"explain pattern matching","shortMessageHtmlLink":"explain pattern matching"}},{"before":"376999b2aae477324fa12b179316382403620dfa","after":"79541aed2ed183c4fa66380daf37924bd515c61b","ref":"refs/heads/main","pushedAt":"2024-01-23T12:24:19.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":"972a835b729a42d5a9f6a6da07d2af374ee9cd75","after":"376999b2aae477324fa12b179316382403620dfa","ref":"refs/heads/main","pushedAt":"2024-01-23T12:18:06.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":"added section on valid expressions and comments","shortMessageHtmlLink":"added section on valid expressions and comments"}},{"before":"e096d0d8c370619e3329a9c9c35213e03d78c3e1","after":"972a835b729a42d5a9f6a6da07d2af374ee9cd75","ref":"refs/heads/main","pushedAt":"2024-01-23T10:37: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":"finally added section on axioms","shortMessageHtmlLink":"finally added section on axioms"}},{"before":"0c0b69b9ac3c740a73eb7e6b1678ef2510dc2f7e","after":"e096d0d8c370619e3329a9c9c35213e03d78c3e1","ref":"refs/heads/main","pushedAt":"2023-12-17T10:08:47.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":"676d926f63ad5c13c180073530007036cc8b37c9","after":"0c0b69b9ac3c740a73eb7e6b1678ef2510dc2f7e","ref":"refs/heads/main","pushedAt":"2023-11-07T16:57: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":"add socks and shoes theorem","shortMessageHtmlLink":"add socks and shoes theorem"}},{"before":"4b4f92aaa4c347d1680f7e36c828f6a977990fc6","after":"676d926f63ad5c13c180073530007036cc8b37c9","ref":"refs/heads/main","pushedAt":"2023-11-07T15:11:33.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 relevant steps in proofs","shortMessageHtmlLink":"add relevant steps in proofs"}},{"before":"ecffeed8221da44dbc1037e852e4d7f309cd6e9a","after":"4b4f92aaa4c347d1680f7e36c828f6a977990fc6","ref":"refs/heads/main","pushedAt":"2023-11-07T14:05: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":"start index from the last premise for proofs","shortMessageHtmlLink":"start index from the last premise for proofs"}},{"before":"9bb454b7d2846c79fe33f19bd1d15c18dd40cd7e","after":"ecffeed8221da44dbc1037e852e4d7f309cd6e9a","ref":"refs/heads/main","pushedAt":"2023-11-07T11:24: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":"formalize foundation more","shortMessageHtmlLink":"formalize foundation more"}},{"before":"0db83f37a2521d94ace3de33900a9d79831a82ec","after":"9bb454b7d2846c79fe33f19bd1d15c18dd40cd7e","ref":"refs/heads/main","pushedAt":"2023-11-06T14:05:43.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 substitution axiom for equality in group.ny","shortMessageHtmlLink":"fix substitution axiom for equality in group.ny"}},{"before":"3bd119602155e58a5eaed1c32caea190aefabcc5","after":"0db83f37a2521d94ace3de33900a9d79831a82ec","ref":"refs/heads/main","pushedAt":"2023-11-04T14:47:06.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 stuff","shortMessageHtmlLink":"fix stuff"}},{"before":"2018f27d49197f07ba59978254aaf0f1aa143210","after":"3bd119602155e58a5eaed1c32caea190aefabcc5","ref":"refs/heads/main","pushedAt":"2023-11-03T15:15: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":"fix file extension","shortMessageHtmlLink":"fix file extension"}},{"before":"544c1de857149a89793758323cc1272de35f58ed","after":"2018f27d49197f07ba59978254aaf0f1aa143210","ref":"refs/heads/main","pushedAt":"2023-11-03T08:50:44.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pro465","name":"Proloy Mishra","path":"/pro465","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/67726964?s=80&v=4"},"commit":{"message":"clarify license info","shortMessageHtmlLink":"clarify license info"}},{"before":"72489fc4d20a977e5b13267b01f8dfceb02375f2","after":"544c1de857149a89793758323cc1272de35f58ed","ref":"refs/heads/main","pushedAt":"2023-11-03T06: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":"carify license info","shortMessageHtmlLink":"carify license info"}},{"before":null,"after":"72489fc4d20a977e5b13267b01f8dfceb02375f2","ref":"refs/heads/main","pushedAt":"2023-11-03T06:48:42.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"pro465","name":"Proloy Mishra","path":"/pro465","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/67726964?s=80&v=4"},"commit":{"message":"first commit","shortMessageHtmlLink":"first commit"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAD5xHpkQA","startCursor":null,"endCursor":null}},"title":"Activity · pro465/nyaya"}