{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":654759901,"defaultBranch":"main","name":"pyano","ownerLogin":"sanjoy","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-06-16T22:16:58.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/136291?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1686954042.137356","currentOid":""},"activityList":{"items":[{"before":"c0330eaa013aa40608fe4e1fa5b140044fd658f9","after":"fd35f93276bbde10bd50e6a2cf551859c7568281","ref":"refs/heads/main","pushedAt":"2023-07-30T03:50:13.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"sanjoy","name":"Sanjoy Das","path":"/sanjoy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/136291?s=80&v=4"},"commit":{"message":"Add newlines at the end of proofs","shortMessageHtmlLink":"Add newlines at the end of proofs"}},{"before":"35d884d1a8bff219d1c13622590b39dff7ef4457","after":"c0330eaa013aa40608fe4e1fa5b140044fd658f9","ref":"refs/heads/main","pushedAt":"2023-06-29T20:39:05.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"sanjoy","name":"Sanjoy Das","path":"/sanjoy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/136291?s=80&v=4"},"commit":{"message":"Fix stale function name.","shortMessageHtmlLink":"Fix stale function name."}},{"before":"fcc455b4bf02cd9446477bc60182608436cafd0c","after":"35d884d1a8bff219d1c13622590b39dff7ef4457","ref":"refs/heads/main","pushedAt":"2023-06-29T20:37:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sanjoy","name":"Sanjoy Das","path":"/sanjoy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/136291?s=80&v=4"},"commit":{"message":"Fix stale function name.","shortMessageHtmlLink":"Fix stale function name."}},{"before":"c25687561b52845c281a34399cf124a288725c76","after":"fcc455b4bf02cd9446477bc60182608436cafd0c","ref":"refs/heads/main","pushedAt":"2023-06-29T20:36:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sanjoy","name":"Sanjoy Das","path":"/sanjoy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/136291?s=80&v=4"},"commit":{"message":"Correctly spell \"modus ponens\"\n\nFixes https://github.com/sanjoy/pyano/issues/1","shortMessageHtmlLink":"Correctly spell \"modus ponens\""}},{"before":"b27b943cc98da07a9172ac3b14a701cc54a1b37c","after":"c25687561b52845c281a34399cf124a288725c76","ref":"refs/heads/main","pushedAt":"2023-06-28T19:13:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sanjoy","name":"Sanjoy Das","path":"/sanjoy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/136291?s=80&v=4"},"commit":{"message":"Stronger checks on serialized proofs","shortMessageHtmlLink":"Stronger checks on serialized proofs"}},{"before":"f26e0422c410de759cc607847dcd52aac877b615","after":"b27b943cc98da07a9172ac3b14a701cc54a1b37c","ref":"refs/heads/main","pushedAt":"2023-06-28T18:43:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sanjoy","name":"Sanjoy Das","path":"/sanjoy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/136291?s=80&v=4"},"commit":{"message":"Rename LessThan to LessThanOrEq (former is incorrect)","shortMessageHtmlLink":"Rename LessThan to LessThanOrEq (former is incorrect)"}},{"before":"63b742462e1f68a96fd311b32105c72ccedb5b4d","after":"f26e0422c410de759cc607847dcd52aac877b615","ref":"refs/heads/main","pushedAt":"2023-06-20T05:58:11.627Z","pushType":"push","commitsCount":1,"pusher":{"login":"sanjoy","name":"Sanjoy Das","path":"/sanjoy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/136291?s=80&v=4"},"commit":{"message":"More instructions on how to get started","shortMessageHtmlLink":"More instructions on how to get started"}},{"before":"86465d83b24824b944094cd58c487d747e0c840d","after":"63b742462e1f68a96fd311b32105c72ccedb5b4d","ref":"refs/heads/main","pushedAt":"2023-06-20T05:11:34.383Z","pushType":"push","commitsCount":1,"pusher":{"login":"sanjoy","name":"Sanjoy Das","path":"/sanjoy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/136291?s=80&v=4"},"commit":{"message":"Print how many formulae were simplified.","shortMessageHtmlLink":"Print how many formulae were simplified."}},{"before":"f31651a79edbbc5240b1b4c03504010c37779d69","after":"86465d83b24824b944094cd58c487d747e0c840d","ref":"refs/heads/main","pushedAt":"2023-06-19T21:35:02.009Z","pushType":"push","commitsCount":1,"pusher":{"login":"sanjoy","name":"Sanjoy Das","path":"/sanjoy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/136291?s=80&v=4"},"commit":{"message":"Export theorems into a proved_theorems directory","shortMessageHtmlLink":"Export theorems into a proved_theorems directory"}},{"before":"595c0ef77aef9cfebbe0b0b99afbf9181c0f3c0c","after":"f31651a79edbbc5240b1b4c03504010c37779d69","ref":"refs/heads/main","pushedAt":"2023-06-19T21:29:52.387Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"sanjoy","name":"Sanjoy Das","path":"/sanjoy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/136291?s=80&v=4"},"commit":{"message":"Prove 1 < 2","shortMessageHtmlLink":"Prove 1 &lt; 2"}},{"before":"4821018b0d628f30ef3f8f08bd4e0a7ac1603406","after":"595c0ef77aef9cfebbe0b0b99afbf9181c0f3c0c","ref":"refs/heads/main","pushedAt":"2023-06-19T19:53:31.255Z","pushType":"push","commitsCount":2,"pusher":{"login":"sanjoy","name":"Sanjoy Das","path":"/sanjoy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/136291?s=80&v=4"},"commit":{"message":"Prove 1 < 2.","shortMessageHtmlLink":"Prove 1 &lt; 2."}},{"before":"b67ae10f230c748af4cc333b7b70466314c3483d","after":"4821018b0d628f30ef3f8f08bd4e0a7ac1603406","ref":"refs/heads/main","pushedAt":"2023-06-17T04:16:31.372Z","pushType":"push","commitsCount":2,"pusher":{"login":"sanjoy","name":"Sanjoy Das","path":"/sanjoy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/136291?s=80&v=4"},"commit":{"message":"Make proof builders printable","shortMessageHtmlLink":"Make proof builders printable"}},{"before":"2cebe4110119dd98f8ef2f1ddda9e6c9f491bbfc","after":"b67ae10f230c748af4cc333b7b70466314c3483d","ref":"refs/heads/main","pushedAt":"2023-06-17T04:04:57.939Z","pushType":"push","commitsCount":1,"pusher":{"login":"sanjoy","name":"Sanjoy Das","path":"/sanjoy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/136291?s=80&v=4"},"commit":{"message":"Combine string representation for nested forall formulae","shortMessageHtmlLink":"Combine string representation for nested forall formulae"}},{"before":"515385e679992170691ddad4d0499ca8962e2c24","after":"2cebe4110119dd98f8ef2f1ddda9e6c9f491bbfc","ref":"refs/heads/main","pushedAt":"2023-06-16T22:32:25.509Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"sanjoy","name":"Sanjoy Das","path":"/sanjoy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/136291?s=80&v=4"},"commit":{"message":"First commit","shortMessageHtmlLink":"First commit"}},{"before":"0093361109974a8e8b19dece349048600f2130d5","after":"515385e679992170691ddad4d0499ca8962e2c24","ref":"refs/heads/main","pushedAt":"2023-06-16T22:22:04.759Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"sanjoy","name":"Sanjoy Das","path":"/sanjoy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/136291?s=80&v=4"},"commit":{"message":"First commit","shortMessageHtmlLink":"First commit"}},{"before":null,"after":"0093361109974a8e8b19dece349048600f2130d5","ref":"refs/heads/main","pushedAt":"2023-06-16T22:20:42.137Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"sanjoy","name":"Sanjoy Das","path":"/sanjoy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/136291?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":"djE6ks8AAAADX-8e-AA","startCursor":null,"endCursor":null}},"title":"Activity · sanjoy/pyano"}