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 143 18 TODO
114002 lean4-metaprogramming-book leanprover-community TODO 306 43 TODO
114003 con-nf leanprover-community TODO 1309 24 TODO
114004 batteries leanprover-community TODO 4 68 TODO
114005 lean4game leanprover-community TODO 1082 255 TODO
114006 lean4web leanprover-community TODO 350 49 TODO
114007 proofwidgets4 leanprover-community TODO 387 27 TODO
114008 mathlib-port-status leanprover-community TODO 161 4 TODO
114009 archive leanprover-community TODO 450 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 115 30 TODO
114013 nng4 leanprover-community TODO 564 57 TODO
114014 tutorials4 leanprover-community TODO 218 0 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 643 20 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 244 6 TODO
114021 byte-slice leanprover-community TODO 3 0 TODO
114022 logic_and_proof leanprover-community TODO 0 0 TODO
114023 leansearchclient leanprover-community TODO 55 9 TODO
114024 plausible leanprover-community TODO 51 2 TODO
114025 mathlib-manual leanprover-community TODO 313 0 TODO

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

Chaos Logo