{"payload":{"header_redesign_enabled":false,"results":[{"id":"422605067","archived":false,"color":null,"followers":13,"has_funding_file":false,"hl_name":"katydid/proofs","hl_trunc_description":"Proofs written in Lean4 for the core katydid validation algorithm","language":"Lean","mirror":false,"owned_by_organization":true,"public":true,"repo":{"repository":{"id":422605067,"name":"proofs","owner_id":9207606,"owner_login":"katydid","updated_at":"2024-03-15T15:10:08.874Z","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":70,"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%253Akatydid%252Fproofs%2B%2Blanguage%253ALean","metadata":null,"csrf_tokens":{"/katydid/proofs/star":{"post":"bWZtfncm_B4Zn5LxvysXs7U_NRvXzu7CHQKaXfuUeB77FlkN3SeFBB4oVGCPCBaWgGLPWfsu7hXo2PTo-8Mh-A"},"/katydid/proofs/unstar":{"post":"NIvlJfRO9spA3hVj5ncV3QOE-ISUX9n0nzQvL9PHh2cUY5D5-NgnHKay54zbaCB6TLkJsG84fM6mSlu29xQQPg"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"V-OKXQueya3pZc_lWmX220X7Ckt6Q87yoSqaF445UIFLCYCh1UifFHk3EGMUnZ0LXo8Rie9_IMOwzqCSheQE-w"}}},"title":"Repository search results"}