{"payload":{"header_redesign_enabled":false,"results":[{"id":"566968403","archived":false,"color":"#178600","followers":3,"has_funding_file":false,"hl_name":"ronitkothari/Natural-Deduction-Proof-Checker","hl_trunc_description":"A proof checker for natural deduction in predicate logic","language":"C#","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":566968403,"name":"Natural-Deduction-Proof-Checker","owner_id":105139350,"owner_login":"ronitkothari","updated_at":"2022-11-16T19:57:43.498Z","has_issues":true}},"sponsorable":false,"topics":["c","algorithms","proof","logic","depth-first-search","natural-deduction","shunting-yard-algorithm","predicate-logic"],"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":54,"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%253Aronitkothari%252FNatural-Deduction-Proof-Checker%2B%2Blanguage%253AC%2523","metadata":null,"csrf_tokens":{"/ronitkothari/Natural-Deduction-Proof-Checker/star":{"post":"10d3vzO7qOe2gLmci-tlM5DV0IA4k1ujcdLJkUvnooLmcU_6u8uP2fLDWmwZ_TAO3IAVMnwZEOZgpZQIT5GJsg"},"/ronitkothari/Natural-Deduction-Proof-Checker/unstar":{"post":"UdjSeUAMUo5S88cRxODp2c-E9IQ2Vgj8BjsNWLX-CZdnNPfoPrWa9TM59H29N9-dZQYel-F6VfOmoKf4sK_3dg"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"P2hEdHXnunSr_0qUl0YL-LJ_YKbunnnN52rFVFHgV-VeuUQobgTVXtR0wQrayHxK7vCJZEF5f6n4dlLRJBM1pg"}}},"title":"Repository search results"}