{"payload":{"header_redesign_enabled":false,"results":[{"id":"606427430","archived":false,"color":"#d0b68c","followers":1,"has_funding_file":false,"hl_name":"DenSinH/natural-numbers-game","hl_trunc_description":"A version of the natural numbers game in Coq","language":"Coq","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":606427430,"name":"natural-numbers-game","owner_id":25347040,"owner_login":"DenSinH","updated_at":"2024-03-07T11:14:38.096Z","has_issues":true}},"sponsorable":false,"topics":["coq","coq-formalization","natural-number-game"],"type":"Public","help_wanted_issues_count":0,"good_first_issue_issues_count":0,"starred_by_current_user":false}],"type":"repositories","page":1,"page_count":1,"elapsed_millis":61,"errors":[],"result_count":1,"facets":[],"protected_org_logins":[],"topics":null,"query_id":"","logged_in":false,"sign_up_path":"/signup?source=code_search_results","sign_in_path":"/login?return_to=https%3A%2F%2Fgithub.com%2Fsearch%3Fq%3Drepo%253ADenSinH%252Fnatural-numbers-game%2B%2Blanguage%253ACoq","metadata":null,"csrf_tokens":{"/DenSinH/natural-numbers-game/star":{"post":"xGZuBfWZFZbNYFN85QiwyzZP4_Lfk7NZO_S3SivzZP2JUXbqphdrhQfb_vlXKrC_nbDBwWTPETiS6Ieq_9E-iw"},"/DenSinH/natural-numbers-game/unstar":{"post":"pEAhtyQmBBIBMRh01bOl2UzSvScGsE4p0ZGq8XlRB-f-mmTZVG2sgTi971GmXzY1phcakbkRcRowitZCvY76kg"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"TcQLlqygajDI6IIpcXh5O9RJVnji2vtSSGnMqIX6LPieguoa1K9wD5Sl5VTzBjYskwqsM0hPdUkcc5Mb1hKvsg"}}},"title":"Repository search results"}