| # | Repo Name | Owner | Reports | Commits | Issues | Change Requests |
|---|---|---|---|---|---|---|
| 114426 | nng4 | leanprover-community | TODO | 555 | 0 | TODO |
| 114427 | tutorials4 | leanprover-community | TODO | 218 | 0 | TODO |
| 114428 | llm | leanprover-community | TODO | 18 | 0 | TODO |
| 114429 | mathematics_in_lean3 | leanprover-community | TODO | 2 | 0 | TODO |
| 114430 | lean-auto | leanprover-community | TODO | 643 | 0 | TODO |
| 114431 | merge-queue-test | leanprover-community | TODO | 0 | 0 | TODO |
| 114432 | mathlib4_with_leaninfer | leanprover-community | TODO | 1 | 0 | TODO |
| 114433 | import-graph | leanprover-community | TODO | 226 | 0 | TODO |
| 114434 | byte-slice | leanprover-community | TODO | 3 | 0 | TODO |
| 114435 | logic_and_proof | leanprover-community | TODO | 510 | 0 | TODO |
| 114436 | leansearchclient | leanprover-community | TODO | 50 | 0 | TODO |
| 114437 | plausible | leanprover-community | TODO | 41 | 0 | TODO |
| 114438 | mathlib-manual | leanprover-community | TODO | 186 | 0 | TODO |
This is a beta build of Augur-View. Experimental frontend features may not be fully functional.