{"id":13832220,"url":"https://github.com/leanprover/theorem_proving_in_lean4","last_synced_at":"2025-04-07T05:15:46.360Z","repository":{"id":36984540,"uuid":"399570296","full_name":"leanprover/theorem_proving_in_lean4","owner":"leanprover","description":"Theorem Proving in Lean 4","archived":false,"fork":false,"pushed_at":"2024-05-22T20:02:26.000Z","size":21681,"stargazers_count":141,"open_issues_count":26,"forks_count":79,"subscribers_count":11,"default_branch":"master","last_synced_at":"2024-05-22T21:28:30.827Z","etag":null,"topics":["lean","lean4"],"latest_commit_sha":null,"homepage":"https://leanprover.github.io/theorem_proving_in_lean4/","language":"JavaScript","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"apache-2.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/leanprover.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,"publiccode":null,"codemeta":null}},"created_at":"2021-08-24T18:41:32.000Z","updated_at":"2024-05-30T07:12:11.578Z","dependencies_parsed_at":"2024-01-04T13:46:22.193Z","dependency_job_id":"12a28ffb-e0a2-44be-af0e-c2dfd097105b","html_url":"https://github.com/leanprover/theorem_proving_in_lean4","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/leanprover%2Ftheorem_proving_in_lean4","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Ftheorem_proving_in_lean4/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Ftheorem_proving_in_lean4/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Ftheorem_proving_in_lean4/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/leanprover","download_url":"https://codeload.github.com/leanprover/theorem_proving_in_lean4/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":247595335,"owners_count":20963943,"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":["lean","lean4"],"created_at":"2024-08-04T10:01:55.966Z","updated_at":"2025-04-07T05:15:46.319Z","avatar_url":"https://github.com/leanprover.png","language":"JavaScript","funding_links":[],"categories":["Lean","JavaScript","Tutorials"],"sub_categories":[],"readme":"Theorem Proving in Lean 4\n-----------------------\n\nThis manual is generated by [mdBook](https://github.com/rust-lang/mdBook). We are currently using a\n[fork](https://github.com/leanprover/mdBook) of it for the following additional features:\n\n* Add support for hiding lines in other languages [#1339](https://github.com/rust-lang/mdBook/pull/1339)\n* Replace calling `rustdoc --test` from `mdbook test` with `./test`\n\nTo build this manual, first install the fork via\n```bash\ncargo install --git https://github.com/leanprover/mdBook mdbook\n```\nThen use e.g. [`mdbook watch`](https://rust-lang.github.io/mdBook/cli/watch.html) in the root folder:\n```bash\nmdbook watch --open  # opens the output in `out/` in your default browser\n```\n\nRun `mdbook test` to test all `lean` code blocks.\n\n## How to deploy\n\n```\n./deploy.sh\n```\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fleanprover%2Ftheorem_proving_in_lean4","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fleanprover%2Ftheorem_proving_in_lean4","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fleanprover%2Ftheorem_proving_in_lean4/lists"}