{"id":19921028,"url":"https://github.com/hacker-code-j/automated-reasoning","last_synced_at":"2026-02-06T23:33:13.089Z","repository":{"id":230535356,"uuid":"779577511","full_name":"Hacker-Code-J/Automated-Reasoning","owner":"Hacker-Code-J","description":"A central hub for sharing and exploring seminar materials, resources, and innovations in the field of Automated Reasoning.","archived":false,"fork":false,"pushed_at":"2024-04-15T12:24:02.000Z","size":1257,"stargazers_count":1,"open_issues_count":0,"forks_count":0,"subscribers_count":1,"default_branch":"main","last_synced_at":"2025-07-22T23:54:07.376Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"","language":"TeX","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/Hacker-Code-J.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null}},"created_at":"2024-03-30T07:43:09.000Z","updated_at":"2024-08-03T05:26:40.000Z","dependencies_parsed_at":"2024-04-02T14:57:25.894Z","dependency_job_id":"08d78dfb-c61e-4716-8ff5-6493428ef4b6","html_url":"https://github.com/Hacker-Code-J/Automated-Reasoning","commit_stats":null,"previous_names":["hacker-code-j/automated-reasoning"],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/Hacker-Code-J/Automated-Reasoning","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Hacker-Code-J%2FAutomated-Reasoning","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Hacker-Code-J%2FAutomated-Reasoning/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Hacker-Code-J%2FAutomated-Reasoning/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Hacker-Code-J%2FAutomated-Reasoning/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/Hacker-Code-J","download_url":"https://codeload.github.com/Hacker-Code-J/Automated-Reasoning/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Hacker-Code-J%2FAutomated-Reasoning/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":29180429,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-02-06T23:15:33.022Z","status":"ssl_error","status_checked_at":"2026-02-06T23:15:09.128Z","response_time":59,"last_error":"SSL_read: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2024-11-12T22:06:33.097Z","updated_at":"2026-02-06T23:33:13.061Z","avatar_url":"https://github.com/Hacker-Code-J.png","language":"TeX","readme":"# Automated-Reasoning\n\nWelcome to the Automated-Reasoning repository! This repository is dedicated to collecting and sharing seminar materials related to Automated Reasoning. Our goal is to create a comprehensive resource that facilitates learning, discussion, and innovation in the realm of automated reasoning.\n\n## About Automated Reasoning\n\nAutomated Reasoning is a field of computer science and mathematical logic dedicated to understanding different aspects of reasoning. It involves the use of computers to perform logical tasks such as proving theorems, making logical inferences, and solving puzzles. Automated reasoning plays a crucial role in various applications, including formal verification, artificial intelligence, and software engineering.\n\n## Repository Structure\n\n\u003c!--\n- **Seminars/**: This directory contains folders organized by seminar dates or topics, each packed with presentations, notes, and additional resources.\n- **ReadingMaterials/**: Find articles, books, and papers essential for understanding the breadth and depth of automated reasoning.\n- **Exercises/**: Practice problems and exercises to test your knowledge and understanding of automated reasoning concepts.\n- **Projects/**: Sample projects and applications of automated reasoning in real-world scenarios.\n--\u003e\n\n## Contributing\n\u003c!--\nWe welcome contributions from the community! If you have seminar materials, lecture notes, exercises, or any other resources related to Automated Reasoning, please consider contributing. Check out our [CONTRIBUTING.md](CONTRIBUTING.md) file for more information on how to contribute.\n--\u003e\n\n## License\n\nThis project is licensed under the MIT License - see the [LICENSE](LICENSE) file for details.\n\n## Acknowledgments\n\n- Special thanks to all the contributors who have helped grow this repository with their valuable materials.\n- Acknowledgment to institutions and organizations that have supported seminars and research in automated reasoning.\n\n## Contact\n\nFor any queries or discussions, feel free to open an issue or contact the repository maintainers directly.\n\n## Disclaimer\n\nThis repository is meant for educational and research purposes only. Please ensure to cite any materials appropriately if you use them in your work or research.\n\n","funding_links":[],"categories":[],"sub_categories":[],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fhacker-code-j%2Fautomated-reasoning","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fhacker-code-j%2Fautomated-reasoning","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fhacker-code-j%2Fautomated-reasoning/lists"}