Notifications
List group item heading Wed
Some placeholder content in a paragraph below the heading and date.
# Repo Name Owner Reports Commits Issues Change Requests
4526 mathlib_docs_demo leanprover-community TODO 1 0 TODO
4527 liquid leanprover-community TODO 363 4 TODO
4528 lean-liquid leanprover-community TODO 6204 76 TODO
4529 lt2021 leanprover-community TODO 120 0 TODO
4530 witt-vectors leanprover-community TODO 10 0 TODO
4531 sphere-eversion leanprover-community TODO 1792 52 TODO
4532 lftcm2020 leanprover-community TODO 989 62 TODO
4533 mathlib_stats leanprover-community TODO 0 4 TODO
4534 mathematics_in_lean leanprover-community TODO 96 0 TODO
4535 azure-scripts leanprover-community TODO 81 2 TODO
4536 lean-client-python leanprover-community TODO 61 13 TODO
4537 highlightjs-lean leanprover-community TODO 21 3 TODO
4538 mathlib_docs leanprover-community TODO 1 1 TODO
4539 doc-gen leanprover-community TODO 375 51 TODO
4540 lean-sensitivity leanprover-community TODO 79 0 TODO
4541 yasnippet-lean leanprover-community TODO 11 2 TODO
4542 tutorials leanprover-community TODO 194 11 TODO
4543 mathlib-tools leanprover-community TODO 1431 43 TODO
4544 lean-web-editor leanprover-community TODO 139 5 TODO
4545 lean-nightly leanprover-community TODO 2 0 TODO
4546 lean leanprover-community TODO 14307 205 TODO
4547 mathlib-nightly leanprover-community TODO 1 0 TODO
4548 format_lean leanprover-community TODO 61 8 TODO
4549 leanprover-community.github.io leanprover-community TODO 0 39 TODO
4550 sccache leanprover-community TODO 627 0 TODO

This is a beta build of Augur-View. Experimental frontend features may not be fully functional.

Chaos Logo