{"payload":{"header_redesign_enabled":false,"results":[{"id":"732196105","archived":false,"color":null,"followers":2,"has_funding_file":false,"hl_name":"hargoniX/crup","hl_trunc_description":"A Checker for RUP proofs written in Lean 4","language":"Lean","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":732196105,"name":"crup","owner_id":33270164,"owner_login":"hargoniX","updated_at":"2023-12-16T12:31:43.462Z","has_issues":true}},"sponsorable":false,"topics":["lean","sat","rup","lean4"],"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":75,"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%253AhargoniX%252Fcrup%2B%2Blanguage%253ALean","metadata":null,"csrf_tokens":{"/hargoniX/crup/star":{"post":"f0jCQbDEP9ywCGTeilO3Jnvgl6EeONpePZJWho4IELV0uqpShS-dcUBO9m3c1f36afeTKWZae3RT18n8McRmaQ"},"/hargoniX/crup/unstar":{"post":"XU4vfNfkAEv3qb5w9NLg-IdGrG1wVF_ETaJ0mStyjT1bcVhqXy0u3xbGhGwWfj5GllKz00KI15kvq0Hbz2cxkg"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"LrkWEoeLiex3tTKWqF0aJ8tS5tYzhKNxqKTF4NBDOcqzwgk_mYa4zuvBqOnaelKCt9OX-eBGIRyan-FS7WC4-w"}}},"title":"Repository search results"}