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
114001 iris-lean leanprover-community TODO 199 26 TODO
114002 lean4-metaprogramming-book leanprover-community TODO 306 44 TODO
114003 con-nf leanprover-community TODO 1319 24 TODO
114004 batteries leanprover-community TODO 1185 74 TODO
114005 lean4game leanprover-community TODO 1256 287 TODO
114006 lean4web leanprover-community TODO 416 54 TODO
114007 proofwidgets4 leanprover-community TODO 455 29 TODO
114008 mathlib-port-status leanprover-community TODO 161 4 TODO
114009 archive leanprover-community TODO 451 2 TODO
114010 archive-old leanprover-community TODO 1 0 TODO
114011 static-curl leanprover-community TODO 3 0 TODO
114012 repl leanprover-community TODO 149 35 TODO
114013 nng4 leanprover-community TODO 597 64 TODO
114014 tutorials4 leanprover-community TODO 222 1 TODO
114015 llm leanprover-community TODO 18 2 TODO
114016 mathematics_in_lean3 leanprover-community TODO 2 0 TODO
114017 lean-auto leanprover-community TODO 686 23 TODO
114018 merge-queue-test leanprover-community TODO 7203 0 TODO
114019 mathlib4_with_leaninfer leanprover-community TODO 1 0 TODO
114020 import-graph leanprover-community TODO 330 6 TODO
114021 byte-slice leanprover-community TODO 3 0 TODO
114022 logic_and_proof leanprover-community TODO 531 1 TODO
114023 leansearchclient leanprover-community TODO 64 9 TODO
114024 plausible leanprover-community TODO 99 2 TODO
114025 mathlib-manual leanprover-community TODO 413 0 TODO

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

Chaos Logo