{"payload":{"header_redesign_enabled":false,"results":[{"id":"74302094","archived":false,"color":"#d0b68c","followers":14,"has_funding_file":false,"hl_name":"DistributedComponents/InfSeqExt","hl_trunc_description":"A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators","language":"Coq","mirror":false,"owned_by_organization":true,"public":true,"repo":{"repository":{"id":74302094,"name":"InfSeqExt","owner_id":23535058,"owner_login":"DistributedComponents","updated_at":"2023-01-07T12:58:58.682Z","has_issues":true}},"sponsorable":false,"topics":["coq","proof","ltl","temporal-logic","modal-logic","coq-library"],"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":77,"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%253ADistributedComponents%252FInfSeqExt%2B%2Blanguage%253ACoq","metadata":null,"warn_limited_results":false,"csrf_tokens":{"/DistributedComponents/InfSeqExt/star":{"post":"4hFCBHrObFXA9V55s6yK2TkV2oTjY5waTrTMR-uhypAvGGlEBzzRJg_EhSYEorPt0O4eHhP3zHxW9wP6-5pL3Q"},"/DistributedComponents/InfSeqExt/unstar":{"post":"6NlcoB_GnGiZ25xS21KvfMffA71u7tEkkIQfZ4UwDPHV_MfjwJZrScG4Vw16fYc5SRYt3_O3P5FyaFVlzRlk1A"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"Cenl41zeDFOnA6CrOKZEJE1Fcqf76W9D_0V0g0garhG6b_6r95iViz_CYkdmYYj2y9aLH2nQPFhYeJ2ko2tY1g"}}},"title":"Repository search results"}