| # | Repo Name | Owner | Reports | Commits | Issues | Change Requests |
|---|---|---|---|---|---|---|
| 114326 | vscode-lean | leanprover | TODO | 1035 | 0 | TODO |
| 114327 | smt2_interface | leanprover | TODO | 38 | 0 | TODO |
| 114328 | lean-client-js | leanprover | TODO | 175 | 0 | TODO |
| 114329 | lean.vim | leanprover | TODO | 38 | 0 | TODO |
| 114330 | super | leanprover | TODO | 32 | 0 | TODO |
| 114331 | mini_crush | leanprover | TODO | 11 | 0 | TODO |
| 114332 | lean3-mode | leanprover | TODO | 846 | 0 | TODO |
| 114333 | lean-nightly | leanprover | TODO | 2 | 0 | TODO |
| 114334 | lean3-web-editor | leanprover | TODO | 35 | 0 | TODO |
| 114335 | elan | leanprover | TODO | 345 | 0 | TODO |
| 114336 | lean4 | leanprover | TODO | 5078 | 0 | TODO |
| 114337 | mdbook | leanprover | TODO | 1870 | 0 | TODO |
| 114338 | vscode-lean4 | leanprover | TODO | 2670 | 0 | TODO |
| 114339 | lean4-nightly | leanprover | TODO | 1 | 0 | TODO |
| 114340 | lean4-cli | leanprover | TODO | 87 | 0 | TODO |
| 114341 | lake | leanprover | TODO | 701 | 0 | TODO |
| 114342 | theorem_proving_in_lean4 | leanprover | TODO | 1085 | 0 | TODO |
| 114343 | leanink | leanprover | TODO | 260 | 0 | TODO |
| 114344 | lean-llvm | leanprover | TODO | 25 | 0 | TODO |
| 114345 | doc-gen4 | leanprover | TODO | 597 | 0 | TODO |
| 114346 | fp-lean | leanprover | TODO | 351 | 0 | TODO |
| 114347 | functional_programming_in_lean | leanprover | TODO | 2 | 0 | TODO |
| 114348 | alectryon | leanprover | TODO | 1035 | 0 | TODO |
| 114349 | lean4export | leanprover | TODO | 12 | 0 | TODO |
| 114350 | lean4-pr-releases | leanprover | TODO | 2 | 0 | TODO |
This is a beta build of Augur-View. Experimental frontend features may not be fully functional.