{"payload":{"header_redesign_enabled":false,"results":[{"id":"69886214","archived":false,"color":"#d0b68c","followers":110,"has_funding_file":false,"hl_name":"UniMath/TypeTheory","hl_trunc_description":"The mathematical study of type theories, in univalent foundations","language":"Coq","mirror":false,"owned_by_organization":true,"public":true,"repo":{"repository":{"id":69886214,"name":"TypeTheory","owner_id":6826454,"owner_login":"UniMath","updated_at":"2024-02-08T19:04:33.694Z","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":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%253AUniMath%252FTypeTheory%2B%2Blanguage%253ACoq","metadata":null,"csrf_tokens":{"/UniMath/TypeTheory/star":{"post":"76rTqGgrur1b5ThdDTMXSibrJXBTO_ZihBgy1l22T48iem3Z0Rd5V-Yvt7ee-nXaeQI2AkF_6wsUt-_ht7inaw"},"/UniMath/TypeTheory/unstar":{"post":"DWmVGXARlbpQpstC7oZwiydQC_zUSwaljL5Iu-w4xSb7d9al_DCucyI5ApP5jVfG84L-LrGigNuCoXeEDJvneA"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"bNt-DWKmm6rYCZFKRD5HXh2ZJHio-IrAp2cWtJW7Yun8x-YDpMj2EMAmZt-H5rE84N_l2AlBdY0t8LQ1vdd8tw"}}},"title":"Repository search results"}