{"payload":{"header_redesign_enabled":false,"results":[{"id":"476855403","archived":false,"color":"#555555","followers":14,"has_funding_file":false,"hl_name":"catseye/Philomath","hl_trunc_description":"MIRROR of <a href=\"https://codeberg.org/catseye/Philomath\" rel=\"nofollow\">https://codeberg.org/catseye/Philomath</a> : An LCF-style theorem prover written in C89 (a.k.a ANSI C)","language":"C","mirror":false,"owned_by_organization":true,"public":true,"repo":{"repository":{"id":476855403,"name":"Philomath","owner_id":1134322,"owner_login":"catseye","updated_at":"2023-12-19T16:37:35.602Z","has_issues":true}},"sponsorable":false,"topics":["theorem-proving","propositional-logic","c89","natural-deduction","ansi-c","theorem-prover","proof-checking","lcf-style","proof-checker"],"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":53,"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%253Acatseye%252FPhilomath%2B%2Blanguage%253AC","metadata":null,"csrf_tokens":{"/catseye/Philomath/star":{"post":"ZZau6-fkitAOx66LtdqBKOE-Q4q96SRU7bskyuWyAyqAgd2VfOixOkhJ46GqPZrUyUsDklt2CnZjxoEtbTZztA"},"/catseye/Philomath/unstar":{"post":"hu6h8J6NKjPYGm3XNpu-nbn05nhgDXU8a2WCfz6KxOt9VncEHOPzMpFRhFkAr5jMWxIkwf1MmPwuZNYitu9uew"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"J1jlXgFePrbw4kC3lErzBG61zLGMmYxWKOpLBEI-V2h2Ad7HggTTr_MF9Wip5jpHvLnQz0XOJb-zL8B6exeTiw"}}},"title":"Repository search results"}