# | Repo Name | Owner | Reports | Commits | Issues | Change Requests |
---|---|---|---|---|---|---|
4601 | mkleanbook | leanprover | TODO | 677 | 2 | TODO |
4602 | theorem_proving_in_lean | leanprover | TODO | 906 | 20 | TODO |
4603 | logic_and_proof_lean3 | leanprover | TODO | 474 | 14 | TODO |
4604 | tc | leanprover | TODO | 2 | 6 | TODO |
4605 | macports | leanprover | TODO | 412 | 2 | TODO |
4606 | lean.tmbundle | leanprover | TODO | 18 | 4 | TODO |
4607 | emacs-dependencies | leanprover | TODO | 10 | 0 | TODO |
4608 | presentations | leanprover | TODO | 99 | 4 | TODO |
4609 | ppa-updater | leanprover | TODO | 15 | 4 | TODO |
4610 | cmu-15815-s15 | leanprover | TODO | 37 | 0 | TODO |
4611 | deprecated-homebrew-lean | leanprover | TODO | 812 | 14 | TODO |
4612 | tutorial | leanprover | TODO | 623 | 100 | TODO |
4613 | lean.js | leanprover | TODO | 76 | 11 | TODO |
4614 | ace | leanprover | TODO | 6623 | 0 | TODO |
4615 | leanprover.github.io | leanprover | TODO | 336 | 45 | TODO |
4616 | lean3 | leanprover | TODO | 13725 | 1124 | TODO |
4617 | aws-runners-test | rust-lang | TODO | 31 | 0 | TODO |
4618 | rustc_codegen_c | rust-lang | TODO | 12 | 2 | TODO |
4619 | project-const-traits | rust-lang | TODO | 1 | 16 | TODO |
4620 | rustc-stable-hash | rust-lang | TODO | 27 | 2 | TODO |
4621 | rust-project-goals | rust-lang | TODO | 757 | 126 | TODO |
4622 | infra-smoke-tests | rust-lang | TODO | 161 | 3 | TODO |
4623 | libtest-next | rust-lang | TODO | 316 | 40 | TODO |
4624 | gcc | rust-lang | TODO | 0 | 0 | TODO |
4625 | rustdoc-types | rust-lang | TODO | 75 | 28 | TODO |