{"payload":{"header_redesign_enabled":false,"results":[{"id":"514838641","archived":false,"color":"#3572A5","followers":4,"has_funding_file":false,"hl_name":"catseye/Eqthy","hl_trunc_description":"MIRROR of <a href=\"https://codeberg.org/catseye/Eqthy\" rel=\"nofollow\">https://codeberg.org/catseye/Eqthy</a> : A simple formalized language for equational proofs","language":"Python","mirror":false,"owned_by_organization":true,"public":true,"repo":{"repository":{"id":514838641,"name":"Eqthy","owner_id":1134322,"owner_login":"catseye","updated_at":"2023-11-10T17:36:52.943Z","has_issues":true}},"sponsorable":false,"topics":["proof-checking","proof-checker","proof-language","equational-logic","equational-theory"],"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":70,"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%252FEqthy%2B%2Blanguage%253APython","metadata":null,"warn_limited_results":false,"csrf_tokens":{"/catseye/Eqthy/star":{"post":"Ykt5qW4a-75yYe0PgfdxOEKpAuCXNegKEcCjv3Ja2uCiu1jauE4abnND3HlK8ScUbLM3x3WPTRBqQOk4xZqikw"},"/catseye/Eqthy/unstar":{"post":"JmMqbmtj867D9MLBFSo_HaYnX11d1yEJEAjpqoUNuRLiN01l_ahTbXnvQrwSYbooJMrlTU2UGjl0l1CWr2yQxA"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"x327-YXYVUkbP-Z8AbxKCtoEbLVApWYYq-Joiv72BSKCsqCc3IDHHra5KoKZnW67lY1MQuQz04k-7RBZ3LUAGQ"}}},"title":"Repository search results"}