{"payload":{"header_redesign_enabled":false,"results":[{"id":"378558561","archived":false,"color":"#b07219","followers":3,"has_funding_file":false,"hl_name":"joshuacrotts/formal-logic-aiding-tutor","hl_trunc_description":"This is an extension of LLAT (the Logic-Learning Assistance Tool) which aims to improve its pedagogical value and UI, rather than being a…","language":"Java","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":378558561,"name":"formal-logic-aiding-tutor","owner_id":18061804,"owner_login":"joshuacrotts","updated_at":"2022-08-19T18:48:42.895Z","has_issues":true}},"sponsorable":false,"topics":["logic","cs-education","truth-table","natural-deduction","truth-tree","formal-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":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%253Ajoshuacrotts%252Fformal-logic-aiding-tutor%2B%2Blanguage%253AJava","metadata":null,"csrf_tokens":{"/joshuacrotts/formal-logic-aiding-tutor/star":{"post":"M5Ro00VFjXBsMm-l5HESXBdFtJZwHgPTWZw15-6zPnsnq8lIquZhh7JrDwYUw4SLJoUnsY5eCETPDcZGh95nZA"},"/joshuacrotts/formal-logic-aiding-tutor/unstar":{"post":"MDk-Wi-hI8_p844GAAtQRI41mX7YUEQumaxhn-hqqj_FbnTAImPuR_JlZuXug9O_9LCS7CbO80QPzdkDiP2gqQ"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"BetligTzyW4c6JRnE0kcr_gwwFjP-GTfD9zV2U6PV4afBAM7XWkGjYOQzykee9dobuzuft6Y9F-WrOVx6gS0tQ"}}},"title":"Repository search results"}