{"payload":{"header_redesign_enabled":false,"results":[{"id":"145564311","archived":false,"color":"#427819","followers":2,"has_funding_file":false,"hl_name":"llee454/pigeons","hl_trunc_description":"A proof of the Pigeonhole principle. The Pigeonhole principle is a fundamental theorem that is used widely in Computer Science and Combin…","language":"Makefile","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":145564311,"name":"pigeons","owner_id":1107836,"owner_login":"llee454","updated_at":"2019-02-13T15:26:22.154Z","has_issues":true}},"sponsorable":false,"topics":["coq","proof","theorem-proving","mathematics","coq-formalization","theorems","pigeonhole"],"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":56,"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%253Allee454%252Fpigeons%2B%2Blanguage%253AMakefile","metadata":null,"warn_limited_results":false,"csrf_tokens":{"/llee454/pigeons/star":{"post":"DTm9Eid7EbcZL7cIygp-MaN_EdkzHnPvPFQ_0ViK0GlYD_q9Dp_PB4mfJS-NgHS-ooQ-L6roAtmFV6EpV2hfcg"},"/llee454/pigeons/unstar":{"post":"lQ-DSk7d1eZw6AC4Q0B_g1Ghzp-iugjjlCO3AzjkHlZqRWyUS5iNuRr48wk4M5MhO5v-gVCy39eOxJU-d8IBAw"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"axQ7w_b8r3UBYN7oXgdmyvtz37_zQu8qlKpobmbnABvdzV2i0fbjGE_lz_u2XbdHhOrk_dHX2ElpK4mzYofwBQ"}}},"title":"Repository search results"}