{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":594151340,"defaultBranch":"master","name":"Satisfiability-Theory-in-Coq","ownerLogin":"GKerfImf","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-01-27T18:10:02.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/8375317?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1674843156.8827038","currentOid":""},"activityList":{"items":[],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":null,"startCursor":null,"endCursor":null}},"title":"Activity · GKerfImf/Satisfiability-Theory-in-Coq"}