{"id":17298359,"url":"https://github.com/chanind/mathlib-changelog","last_synced_at":"2025-09-16T17:50:46.058Z","repository":{"id":44171233,"uuid":"511884033","full_name":"chanind/mathlib-changelog","owner":"chanind","description":null,"archived":false,"fork":false,"pushed_at":"2025-09-09T03:53:20.000Z","size":154412,"stargazers_count":10,"open_issues_count":3,"forks_count":0,"subscribers_count":3,"default_branch":"main","last_synced_at":"2025-09-09T06:33:16.269Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"https://mathlib-changelog.org","language":"Lean","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/chanind.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGELOG.v3.full.json","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,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2022-07-08T12:17:01.000Z","updated_at":"2025-09-09T03:53:25.000Z","dependencies_parsed_at":"2025-09-01T06:18:31.891Z","dependency_job_id":null,"html_url":"https://github.com/chanind/mathlib-changelog","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/chanind/mathlib-changelog","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Fmathlib-changelog","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Fmathlib-changelog/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Fmathlib-changelog/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Fmathlib-changelog/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/chanind","download_url":"https://codeload.github.com/chanind/mathlib-changelog/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Fmathlib-changelog/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":275457712,"owners_count":25468244,"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-16T02:00:10.229Z","response_time":65,"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":[],"created_at":"2024-10-15T11:18:51.472Z","updated_at":"2025-09-16T17:50:46.044Z","avatar_url":"https://github.com/chanind.png","language":"Lean","funding_links":[],"categories":[],"sub_categories":[],"readme":"# mathlib-changelog\n\n[![cron](https://img.shields.io/github/actions/workflow/status/chanind/mathlib-changelog/crawl.yaml?label=cron\u0026branch=main)](https://github.com/chanind/mathlib-changelog)\n[![ci](https://img.shields.io/github/actions/workflow/status/chanind/mathlib-changelog/ci.yaml?branch=main)](https://github.com/chanind/mathlib-changelog)\n[![website](https://img.shields.io/github/deployments/chanind/mathlib-changelog/production?label=website\u0026logo=vercel)](https://mathlib-changelog.org)\n\n### Explore the changelog at [mathlib-changelog.org](https://mathlib-changelog.org/)\n\nThis Repo maintains an auto-updating list of the commits to [mathlib](https://github.com/leanprover-community/mathlib) for [Lean](https://leanprover.github.io/) to have these in a searchable, indexable location.\n\nCurrently this pulls in git commit messages, and attempts to parse out the changed `lemma`, `def`, `theorem`, `inductive`, `abbreviation`, and `structure` in the commit. This is just based on looking at the file in the commit, and doesn't load a full lean/mathlib environment, so it's not guaranteed to catch every change (but it should be pretty close!).\n\nThe full changelog in the following formats:\n\n- JSON is available in [CHANGELOG.v3.full.json](https://raw.githubusercontent.com/chanind/mathlib-changelog/main/CHANGELOG.v3.full.json) and [CHANGELOG.v4.full.json](https://raw.githubusercontent.com/chanind/mathlib-changelog/main/CHANGELOG.v4.full.json)\n- plaintext is available in [CHANGELOG.v3.full.txt](https://raw.githubusercontent.com/chanind/mathlib-changelog/main/CHANGELOG.v3.full.txt) and [CHANGELOG.v4.full.txt](https://raw.githubusercontent.com/chanind/mathlib-changelog/main/CHANGELOG.v4.full.txt)\n- web is available at [mathlib-changelog.org/changelog](https://mathlib-changelog.org/changelog)\n\n## Project structure\n\nThis project consists of 3 components:\n\n- The exported changelogs, in the base directory\n- A crawler written in Python, which scans the `mathlib` git repo and builds the changelogs. This lives in the `crawler` directory\n- A static site for viewing the changelog, written in Typescript and Next.js/React. This lives in the `website` directory\n\n### Website\n\nTo build the website, change into the `website` directory.\n\n- To install dependencies, run `yarn install`\n- To build the search index used on the main page of the site, run `yarn build:search`\n- To run a development environment, run `yarn dev`\n- To build a production version of the site, run `yarn build`\n\n### Crawler\n\nTo use the crawler, change into the `crawler` directory. The crawler is a Python project and uses Poetry to manage dependencies and build environment. Flake8 is used for linting, MyPy is used for type-checking, and Black is used for code formatting.\n\n- To install dependencies, run `poetry install`\n- To run tests, run `poetry run pytest`\n- To run linting and type checks, run `poetry run flake8 .` and `poetry run mypy .`\n- To run the crawler, run `poetry run python -m crawler.crawl`\n\n## Contributing\n\nContributions are welcome! If you have an idea for an improvement or want to report a bug, feel free to open an issue. If you want to work on a fix or improvement directly, open up a pull request in this repo.\n\n## License\n\nThis code is released under an MIT license\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fchanind%2Fmathlib-changelog","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fchanind%2Fmathlib-changelog","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fchanind%2Fmathlib-changelog/lists"}