{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":272635797,"defaultBranch":"master","name":"pravda","ownerLogin":"livrelogique","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-06-16T07:11:35.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/91879677?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1592291521.0","currentOid":""},"activityList":{"items":[{"before":"7532ef1e551c6e5d0dc5ab14e27a4b2eae0b880c","after":"b59a93fbb21a48438730f769cf9f0c3ba657151c","ref":"refs/heads/master","pushedAt":"2024-03-14T17:43:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"francoisschwarzentruber","name":"François Schwarzentruber","path":"/francoisschwarzentruber","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43071857?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"010eaaf114f37da93d205f2c3653179c81889dec","after":"7532ef1e551c6e5d0dc5ab14e27a4b2eae0b880c","ref":"refs/heads/master","pushedAt":"2024-03-14T15:53:16.000Z","pushType":"pr_merge","commitsCount":20,"pusher":{"login":"francoisschwarzentruber","name":"François Schwarzentruber","path":"/francoisschwarzentruber","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43071857?s=80&v=4"},"commit":{"message":"Merge pull request #4 from Aznkad/master\n\nAdded a sequent calculus proof-checker to the website.","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2166400577\" data-permission-text=\"Title is private\" data-url=\"https://github.com/livrelogique/pravda/issues/4\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/livrelogique/pravda/pull/4/hovercard\" href=\"https://github.com/livrelogique/pravda/pull/4\">#4</a> from Aznkad/master"}},{"before":"cdc2f16bddb1fc42f66ac8667b41906998c6ab00","after":"010eaaf114f37da93d205f2c3653179c81889dec","ref":"refs/heads/master","pushedAt":"2024-02-20T18:41:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"francoisschwarzentruber","name":"François Schwarzentruber","path":"/francoisschwarzentruber","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43071857?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"e6a0c431f325091c5dbf8fec0105c53bfc7cfe0f","after":"cdc2f16bddb1fc42f66ac8667b41906998c6ab00","ref":"refs/heads/master","pushedAt":"2023-10-25T08:35:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"francoisschwarzentruber","name":"François Schwarzentruber","path":"/francoisschwarzentruber","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43071857?s=80&v=4"},"commit":{"message":"reorganization of the rules in natural deduction","shortMessageHtmlLink":"reorganization of the rules in natural deduction"}},{"before":"db0e4b6c7c1a14cefc3e438b38f917eed316f21b","after":"e6a0c431f325091c5dbf8fec0105c53bfc7cfe0f","ref":"refs/heads/master","pushedAt":"2023-10-25T08:32:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"francoisschwarzentruber","name":"François Schwarzentruber","path":"/francoisschwarzentruber","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43071857?s=80&v=4"},"commit":{"message":"#1 solved: reorganization of the rules in natural deduction","shortMessageHtmlLink":"<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1960814332\" data-permission-text=\"Title is private\" data-url=\"https://github.com/livrelogique/pravda/issues/1\" data-hovercard-type=\"issue\" data-hovercard-url=\"/livrelogique/pravda/issues/1/hovercard\" href=\"https://github.com/livrelogique/pravda/issues/1\">#1</a> solved: reorganization of the rules in natural deduction"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEFfG6HAA","startCursor":null,"endCursor":null}},"title":"Activity · livrelogique/pravda"}