{"payload":{"header_redesign_enabled":false,"results":[{"id":"335339414","archived":false,"color":null,"followers":1,"has_funding_file":false,"hl_name":"jaalonso/Formalizacion_de_las_matematicas_en_Lean","hl_trunc_description":"Formalización de las matemáticas en Lean","language":"Lean","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":335339414,"name":"Formalizacion_de_las_matematicas_en_Lean","owner_id":666649,"owner_login":"jaalonso","updated_at":"2022-06-24T08:52:39.453Z","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":60,"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%253Ajaalonso%252FFormalizacion_de_las_matematicas_en_Lean%2B%2Blanguage%253ALean","metadata":null,"csrf_tokens":{"/jaalonso/Formalizacion_de_las_matematicas_en_Lean/star":{"post":"qs1yLGw2BZF5BSUFhJdVmCxfa9Qjk98rPerpNTVJ1N8Ynyq0Bhu3BwAF_x06bu31tEk81pdMSj8QLrGJRelGwA"},"/jaalonso/Formalizacion_de_las_matematicas_en_Lean/unstar":{"post":"P3_OVkoKz4OTJJ0mRCmHrdx957_lRL2_sQ7QQcU2H-7BJ1oDUytdwHBr8pGsSCyVNCCH46w44Y_loEUQx3uSPA"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"JLMIkJXtj55Ywovi5JrYg7StdFyV0ayOuuWMB0-CBR3J_zAcyUGP1DULTr18QpmrmaA2dtw5YrUU0bqLtNlMig"}}},"title":"Repository search results"}