{"payload":{"header_redesign_enabled":false,"results":[{"id":"585661740","archived":false,"color":"#d0b68c","followers":11,"has_funding_file":false,"hl_name":"agrarpan/coq-synthesis","hl_trunc_description":"coq-synthesis is a Coq plugin for proof generation and next tactic prediction","language":"Coq","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":585661740,"name":"coq-synthesis","owner_id":112970424,"owner_login":"agrarpan","updated_at":"2024-04-15T02:53:19.093Z","has_issues":true}},"sponsorable":false,"topics":[],"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":50,"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%253Aagrarpan%252Fcoq-synthesis%2B%2Blanguage%253ACoq","metadata":null,"csrf_tokens":{"/agrarpan/coq-synthesis/star":{"post":"W3KlRhfG91gqXyQ5fLG3mPCjx-Vej7DpAfeCu2ULQ138mnxzrYJveWp8875m3pf5j2C6br9XVCLv8NzXJL6nzg"},"/agrarpan/coq-synthesis/unstar":{"post":"-LFhrPnprHfxPciLBxz5okGRxw03YYh5fW-mkrdYlw95w9M0LvxILgEzChYCLFfWA-D4WGzaDOb69K0x3qzJbw"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"nqgo3RxccvvTbQL1nCqlp0r9uVuRU1atJ6_SVhv12WqbMRmfT5RRT4zyFjDhbFPDhl1KTmu-N8LP0ozpa1oMdg"}}},"title":"Repository search results"}