{"payload":{"header_redesign_enabled":false,"results":[{"id":"83910338","archived":false,"color":"#3D6117","followers":14,"has_funding_file":false,"hl_name":"yforster/coqtheorem","hl_trunc_description":"A LaTeX package to make theorem names link to coqdoc webpages. Works with ntheorem, amsthm and the LLNCS and LIPIcs classes. ","language":"TeX","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":83910338,"name":"coqtheorem","owner_id":4191846,"owner_login":"yforster","updated_at":"2019-05-22T15:53:27.714Z","has_issues":true}},"sponsorable":false,"topics":["tex","coq","coq-ecosystem"],"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":62,"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%253Ayforster%252Fcoqtheorem%2B%2Blanguage%253ATeX","metadata":null,"csrf_tokens":{"/yforster/coqtheorem/star":{"post":"E0Dq3FQ9Dp4lBviELf7Y-mj5Cm8JEHbFe3q1EqZDBWYj6dmE1bWhJSSXvWTyMB2vwuU6JB3uozCAewk1ffLJRA"},"/yforster/coqtheorem/unstar":{"post":"ExIlHaeSTak_fbkDDDd52BvDc0eYN9cPXaTri4m8yv3DIAgfZugq-wxwaSPN_VITMN-PX4KDNYHm4U2w0aIVyg"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"F72YkqLb7kjVm17kmJEE4SAxK2zkYsJ7I1vM34lzPenXfeA2a8ajM3NNV0sQnEPyE5AxW7-PLY3-9l1DHEH-pA"}}},"title":"Repository search results"}