| # | Repo Name | Owner | Reports | Commits | Issues | Change Requests |
|---|---|---|---|---|---|---|
| 4551 | ccache | leanprover-community | TODO | 2030 | 0 | TODO |
| 4552 | leancrawler | leanprover-community | TODO | 24 | 1 | TODO |
| 4553 | mathlib-nursery | leanprover-community | TODO | 35 | 0 | TODO |
| 4554 | lean-mode-contrib | leanprover-community | TODO | 6 | 0 | TODO |
| 4555 | lean-perfectoid-spaces | leanprover-community | TODO | 1091 | 15 | TODO |
| 4556 | mathlib3 | leanprover-community | TODO | 18271 | 362 | TODO |
| 4557 | vstte2024 | leanprover | TODO | 38 | 0 | TODO |
| 4558 | tencert | leanprover | TODO | 9 | 0 | TODO |
| 4559 | tensorlib | leanprover | TODO | 67 | 2 | TODO |
| 4560 | klr | leanprover | TODO | 92 | 7 | TODO |
| 4561 | sherloc | leanprover | TODO | 21 | 1 | TODO |
| 4562 | reference-manual | leanprover | TODO | 0 | 215 | TODO |
| 4563 | lean4wip | leanprover | TODO | 34271 | 0 | TODO |
| 4564 | lean-action | leanprover | TODO | 71 | 57 | TODO |
| 4565 | lean4-ci-test | leanprover | TODO | 32986 | 0 | TODO |
| 4566 | subverso | leanprover | TODO | 90 | 23 | TODO |
| 4567 | sampcert | leanprover | TODO | 659 | 12 | TODO |
| 4568 | lnsym | leanprover | TODO | 319 | 19 | TODO |
| 4569 | verso | leanprover | TODO | 324 | 101 | TODO |
| 4570 | reservoir-index | leanprover | TODO | 0 | 0 | TODO |
| 4571 | leansat | leanprover | TODO | 468 | 9 | TODO |
| 4572 | release-index | leanprover | TODO | 6 | 0 | TODO |
| 4573 | lean4checker | leanprover | TODO | 148 | 0 | TODO |
| 4574 | reservoir | leanprover | TODO | 144 | 37 | TODO |
| 4575 | lean4-pr-releases | leanprover | TODO | 2 | 0 | TODO |
This is a beta build of Augur-View. Experimental frontend features may not be fully functional.