| # | Repo Name | Owner | Reports | Commits | Issues | Change Requests |
|---|---|---|---|---|---|---|
| 114351 | reservoir | leanprover | TODO | 0 | 0 | TODO |
| 114352 | lean4checker | leanprover | TODO | 0 | 0 | TODO |
| 114353 | release-index | leanprover | TODO | 0 | 0 | TODO |
| 114354 | leansat | leanprover | TODO | 0 | 0 | TODO |
| 114355 | reservoir-index | leanprover | TODO | 0 | 0 | TODO |
| 114356 | verso | leanprover | TODO | 0 | 0 | TODO |
| 114357 | lnsym | leanprover | TODO | 0 | 0 | TODO |
| 114358 | sampcert | leanprover | TODO | 0 | 0 | TODO |
| 114359 | subverso | leanprover | TODO | 0 | 0 | TODO |
| 114360 | lean4-ci-test | leanprover | TODO | 0 | 0 | TODO |
| 114361 | lean-action | leanprover | TODO | 0 | 0 | TODO |
| 114362 | lean4wip | leanprover | TODO | 0 | 0 | TODO |
| 114363 | reference-manual | leanprover | TODO | 0 | 0 | TODO |
| 114364 | sherloc | leanprover | TODO | 0 | 0 | TODO |
| 114365 | klr | leanprover | TODO | 0 | 0 | TODO |
| 114366 | tensorlib | leanprover | TODO | 0 | 0 | TODO |
| 114367 | tencert | leanprover | TODO | 0 | 0 | TODO |
| 114368 | vstte2024 | leanprover | TODO | 0 | 0 | TODO |
| 114369 | mathlib3 | leanprover-community | TODO | 0 | 0 | TODO |
| 114370 | lean-perfectoid-spaces | leanprover-community | TODO | 0 | 0 | TODO |
| 114371 | lean-mode-contrib | leanprover-community | TODO | 0 | 0 | TODO |
| 114372 | mathlib-nursery | leanprover-community | TODO | 0 | 0 | TODO |
| 114373 | leancrawler | leanprover-community | TODO | 0 | 0 | TODO |
| 114374 | ccache | leanprover-community | TODO | 0 | 0 | TODO |
| 114375 | sccache | leanprover-community | TODO | 0 | 0 | TODO |
This is a beta build of Augur-View. Experimental frontend features may not be fully functional.