Repos - Augur View

#	Repo Name	Owner	Reports	Commits	Issues	Change Requests
4576	lean4export	leanprover	TODO	12	3	TODO
4577	alectryon	leanprover	TODO	1035	7	TODO
4578	functional_programming_in_lean	leanprover	TODO	2	0	TODO
4579	fp-lean	leanprover	TODO	351	182	TODO
4580	doc-gen4	leanprover	TODO	610	92	TODO
4581	lean-llvm	leanprover	TODO	29	2	TODO
4582	leanink	leanprover	TODO	260	27	TODO
4583	theorem_proving_in_lean4	leanprover	TODO	1085	59	TODO
4584	lake	leanprover	TODO	701	97	TODO
4585	lean4-cli	leanprover	TODO	101	10	TODO
4586	lean4-nightly	leanprover	TODO	1	1	TODO
4587	vscode-lean4	leanprover	TODO	2670	239	TODO
4588	mdbook	leanprover	TODO	1870	0	TODO
4589	lean4	leanprover	TODO	22151	2643	TODO
4590	elan	leanprover	TODO	351	94	TODO
4591	lean3-web-editor	leanprover	TODO	35	6	TODO
4592	lean-nightly	leanprover	TODO	2	0	TODO
4593	lean3-mode	leanprover	TODO	846	23	TODO
4594	mini_crush	leanprover	TODO	11	1	TODO
4595	super	leanprover	TODO	32	3	TODO
4596	lean.vim	leanprover	TODO	38	9	TODO
4597	lean-client-js	leanprover	TODO	175	6	TODO
4598	smt2_interface	leanprover	TODO	38	2	TODO
4599	vscode-lean	leanprover	TODO	1035	146	TODO
4600	lean2	leanprover	TODO	8741	6	TODO