{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"coq-100-theorems","owner":"coq-community","isFork":false,"description":"Statements of famous theorems proven in Coq [maintainer=<a class=\"user-mention\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/jmadiot/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/jmadiot\">@jmadiot</a>]","allTopics":["coq","theorems"],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":1,"issueCount":2,"starsCount":55,"forksCount":14,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-19T17:05:55.511Z"}},{"type":"Public","name":"coq-community.github.io","owner":"coq-community","isFork":false,"description":"coq-community website","allTopics":["website","coq"],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":1,"starsCount":0,"forksCount":0,"license":"Creative Commons Zero v1.0 Universal","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-17T15:34:58.563Z"}}],"repositoryCount":2,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}