{"payload":{"header_redesign_enabled":false,"results":[{"id":"502197148","archived":false,"color":"#d0b68c","followers":1,"has_funding_file":false,"hl_name":"felko/anf-fsub","hl_trunc_description":"Soundness proof for System F_<: in ANF form","language":"Coq","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":502197148,"name":"anf-fsub","owner_id":9366592,"owner_login":"felko","updated_at":"2022-06-10T22:38:28.780Z","has_issues":false}},"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":67,"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%253Afelko%252Fanf-fsub%2B%2Blanguage%253ACoq","metadata":null,"csrf_tokens":{"/felko/anf-fsub/star":{"post":"5S4S4aPCHVgDbaqAJys4m6SDZ3iMJcgi_SFbn47KTt1Md1247P2xqgYihXOP0DfEVKFMYZEvz2UXQ8HoybOqRg"},"/felko/anf-fsub/unstar":{"post":"pa7bJikDHZ34tILYlPXzS1SddyCRNnSxb_8X67kfm9LzXPzxJd1N264RLOo83NItPuMBFYoLvX4ytBgHsz-5tw"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"-Yp942x7dhz-q3qBdObZ8AXpYPbk8AtWoICwWik-xRXkyGyMw5Qk13xVctkydlgq4Rtd_QEGAEHWoqr5M1ai5w"}}},"title":"Repository search results"}