{"id":14966222,"url":"https://github.com/siraben/senior-thesis","last_synced_at":"2025-10-27T10:45:22.342Z","repository":{"id":111747695,"uuid":"605663026","full_name":"siraben/senior-thesis","owner":"siraben","description":"LaTeX sources for my undergraduate thesis","archived":false,"fork":false,"pushed_at":"2025-08-22T23:25:24.000Z","size":812,"stargazers_count":2,"open_issues_count":0,"forks_count":1,"subscribers_count":2,"default_branch":"master","last_synced_at":"2025-09-05T14:21:06.686Z","etag":null,"topics":["coq","formalization","graph-theory","thesis"],"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/siraben.png","metadata":{"files":{"readme":"readme.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":"citations.bib","codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2023-02-23T16:28:34.000Z","updated_at":"2025-08-22T23:25:27.000Z","dependencies_parsed_at":null,"dependency_job_id":"4f2217e9-7e68-4a14-95f9-d02048ada99a","html_url":"https://github.com/siraben/senior-thesis","commit_stats":{"total_commits":37,"total_committers":1,"mean_commits":37.0,"dds":0.0,"last_synced_commit":"c253ddc08e86cc912ac2bb751f8928c1060875e5"},"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/siraben/senior-thesis","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/siraben%2Fsenior-thesis","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/siraben%2Fsenior-thesis/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/siraben%2Fsenior-thesis/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/siraben%2Fsenior-thesis/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/siraben","download_url":"https://codeload.github.com/siraben/senior-thesis/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/siraben%2Fsenior-thesis/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":273826733,"owners_count":25175234,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","status":"online","status_checked_at":"2025-09-05T02:00:09.113Z","response_time":402,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"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":["coq","formalization","graph-theory","thesis"],"created_at":"2024-09-24T13:36:02.093Z","updated_at":"2025-10-27T10:45:17.295Z","avatar_url":"https://github.com/siraben.png","language":"TeX","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Formalizing graph theory in type theory\n![Build status](https://github.com/siraben/senior-thesis/actions/workflows/build.yml/badge.svg)\n\nThis repository contains the source files for a formalization of graph\ntheory in type theory, including a review of various formalization\napproaches found in the literature, an implementation of Wigderson's\ngraph coloring algorithm, and other related materials.\n\n## Abstract\nDespite the rich theory and extensive applications of graph theory in\ncomputer science and mathematics, formal developments of graph theory\nhave mostly been restricted to specific applications or definitions of\ngraphs. In this work, we present progress towards the formalization of\nWigderson's graph coloring algorithm through our own novel\napproach. We also provide a comprehensive review of various\nformalization approaches found in the literature, examining their\nmotivations, theoretical design choices, and the robustness of their\nconclusions.\n\n## Requirements\n- Emacs 26 or later\n- LaTeX distribution (e.g., TeX Live, MacTeX)\n\n## Usage\nTo generate the PDF file from the `.org` source file, simply run\nmake. This will generate the `.tex` file using Emacs, and then compile\nit to a PDF using `latexmk`.\n\n## Credits\nThis work was written by Siraphob (Ben) Phipathananunth.\n\n## License\nThis work is licensed under the MIT License. See the `LICENSE` file\nfor details.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsiraben%2Fsenior-thesis","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fsiraben%2Fsenior-thesis","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsiraben%2Fsenior-thesis/lists"}