{"payload":{"header_redesign_enabled":false,"results":[{"id":"649290050","archived":false,"color":null,"followers":1,"has_funding_file":false,"hl_name":"zant/logic","hl_trunc_description":"exercises from the book \"logic and proof\" by Jeremy Avigad","language":"Lean","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":649290050,"name":"logic","owner_id":13141462,"owner_login":"zant","updated_at":"2023-06-27T12:37:03.412Z","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":59,"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%253Azant%252Flogic%2B%2Blanguage%253ALean","metadata":null,"csrf_tokens":{"/zant/logic/star":{"post":"F8F8Me_VlAa9O9hbywBo7InOphDqrYFQeePWpuYe0LmwpLcfgLubQXLTnzlKj_6gaiwWCcgwPh54TmjuDUkt2A"},"/zant/logic/unstar":{"post":"ko-Mwuhcd7JjecQWgZAgL68LnxStRpKA3M9ypyAP2bDtkrpnUBPwSD-aKm1cggue7IprKGYDs_vwy6cEBbYtQQ"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"hCCgsNszZB_ceicVlgU-Ejpymj8kX4NRAl_2zMJ2bmkRxP31QxUw1LH67l-wDvVO_sq4IFMw7WKWHy7ib_AEFg"}}},"title":"Repository search results"}