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
113951 sherloc leanprover TODO 21 1 TODO
113952 klr leanprover TODO 92 5 TODO
113953 tensorlib leanprover TODO 67 2 TODO
113954 tencert leanprover TODO 9 0 TODO
113955 vstte2024 leanprover TODO 38 0 TODO
113956 mathlib3 leanprover-community TODO 18271 362 TODO
113957 lean-perfectoid-spaces leanprover-community TODO 1091 15 TODO
113958 lean-mode-contrib leanprover-community TODO 6 0 TODO
113959 mathlib-nursery leanprover-community TODO 35 0 TODO
113960 leancrawler leanprover-community TODO 24 1 TODO
113961 ccache leanprover-community TODO 2030 0 TODO
113962 sccache leanprover-community TODO 627 0 TODO
113963 leanprover-community.github.io leanprover-community TODO 0 39 TODO
113964 format_lean leanprover-community TODO 61 8 TODO
113965 mathlib-nightly leanprover-community TODO 1 0 TODO
113966 lean leanprover-community TODO 14307 205 TODO
113967 lean-nightly leanprover-community TODO 2 0 TODO
113968 lean-web-editor leanprover-community TODO 139 5 TODO
113969 mathlib-tools leanprover-community TODO 1431 43 TODO
113970 tutorials leanprover-community TODO 194 11 TODO
113971 yasnippet-lean leanprover-community TODO 11 2 TODO
113972 lean-sensitivity leanprover-community TODO 79 0 TODO
113973 doc-gen leanprover-community TODO 375 51 TODO
113974 mathlib_docs leanprover-community TODO 1 1 TODO
113975 highlightjs-lean leanprover-community TODO 21 3 TODO

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

Chaos Logo