{"payload":{"header_redesign_enabled":false,"results":[{"id":"792390027","archived":false,"color":null,"followers":47,"has_funding_file":false,"hl_name":"trishullab/PutnamBench","hl_trunc_description":"An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language. ","language":"Lean","mirror":false,"owned_by_organization":true,"public":true,"repo":{"repository":{"id":792390027,"name":"PutnamBench","owner_id":28062901,"owner_login":"trishullab","updated_at":"2024-09-27T17:08:43.086Z","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":115,"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%253Atrishullab%252FPutnamBench%2B%2Blanguage%253ALean","metadata":null,"warn_limited_results":false,"csrf_tokens":{"/trishullab/PutnamBench/star":{"post":"JuafCab-2hrf3BFqfknGtoOwR11WWvEdMt2nEgklqqarsdCM89ANLM3OytVLkvB8wb1KmmXdFDGEbMLouT4_qg"},"/trishullab/PutnamBench/unstar":{"post":"m86aUP9wqXQbU39R7KPywfpTU9k2rPi44EmZ26mAxfcWojk07aLic-2bNoDzOz2EbrmNkpio9VCSNi3pPG8ZnA"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"5oVgmDsbHCMRMSILsUY41qvw_LkLiMDnzdlRxH8VdSmo3EKcCTvQppazu8d_s6BhlJuEF-9grAI-6S0yFIiQTg"}}},"title":"Repository search results"}