{"id":16575106,"url":"https://github.com/zeramorphic/shoumei","last_synced_at":"2025-03-05T18:26:14.973Z","repository":{"id":135321930,"uuid":"321139611","full_name":"zeramorphic/shoumei","owner":"zeramorphic","description":null,"archived":false,"fork":false,"pushed_at":"2021-01-08T13:04:34.000Z","size":474,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":2,"default_branch":"main","last_synced_at":"2025-01-16T06:15:03.312Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"Rust","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/zeramorphic.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"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,"publiccode":null,"codemeta":null}},"created_at":"2020-12-13T19:08:11.000Z","updated_at":"2021-01-08T13:04:36.000Z","dependencies_parsed_at":null,"dependency_job_id":"181589d1-b1de-42cd-9561-20e65e4ece9f","html_url":"https://github.com/zeramorphic/shoumei","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/zeramorphic%2Fshoumei","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/zeramorphic%2Fshoumei/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/zeramorphic%2Fshoumei/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/zeramorphic%2Fshoumei/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/zeramorphic","download_url":"https://codeload.github.com/zeramorphic/shoumei/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":242078182,"owners_count":20068507,"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","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-10-11T21:46:52.277Z","updated_at":"2025-03-05T18:26:14.944Z","avatar_url":"https://github.com/zeramorphic.png","language":"Rust","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Shoumei (証明)\nA mathematical proof assistant aiming for complete axiomatic correctness. Definitions, claims and proofs are written in `.shoumei` files, which are then parsed and validated by `shoumei`.\n\n## Goals and Anti-Goals\nShoumei attempts to create an environment in which proofs of many kinds can be checked rigorously, including proofs that algorithms terminate. It does not attempt to accept all proofs, or even a majority of proofs; it simply aims to provide a language into which many proofs may be translated.","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fzeramorphic%2Fshoumei","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fzeramorphic%2Fshoumei","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fzeramorphic%2Fshoumei/lists"}