{"payload":{"header_redesign_enabled":false,"results":[{"id":"144308040","archived":false,"color":"#d0b68c","followers":28,"has_funding_file":false,"hl_name":"llee454/functional-algebra","hl_trunc_description":"This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the pack…","language":"Coq","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":144308040,"name":"functional-algebra","owner_id":1107836,"owner_login":"llee454","updated_at":"2019-02-28T21:27:27.863Z","has_issues":true}},"sponsorable":false,"topics":["coq","theorem-proving","mathematics","coq-formalization","coq-library","certified-programming"],"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":87,"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%252Ffunctional-algebra%2B%2Blanguage%253ACoq","metadata":null,"csrf_tokens":{"/llee454/functional-algebra/star":{"post":"QCAr_cjLs0ukHDKe07qN8iKfEkx6McHwkDBbPZETzS68tcVOjYmWeYOijUiyYF8BrEbI3NHGH6YXhQDJUI9Ffg"},"/llee454/functional-algebra/unstar":{"post":"3xs6yflt9G0WZ7NdpmVh9sARBODZi6Eeutqkmh2o10tT1u3sP6WbCW_uKKXkBYGLICu1xZn_SOLgLXs0cAR1Cg"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"BAPt2nZt1O-Mu7oZbHAerGidZCis5lYHsQf1a-A8W8E30HWsT8ffC57PA2abJ9TQw0pozflecNcei5bRy1rulA"}}},"title":"Repository search results"}