Repos - Augur View

#	Repo Name	Owner	Reports	Commits	Issues	Change Requests
114326	vscode-lean	leanprover	TODO	1035	146	TODO
114327	smt2_interface	leanprover	TODO	38	2	TODO
114328	lean-client-js	leanprover	TODO	175	6	TODO
114329	lean.vim	leanprover	TODO	38	9	TODO
114330	super	leanprover	TODO	32	3	TODO
114331	mini_crush	leanprover	TODO	11	1	TODO
114332	lean3-mode	leanprover	TODO	846	23	TODO
114333	lean-nightly	leanprover	TODO	2	0	TODO
114334	lean3-web-editor	leanprover	TODO	35	6	TODO
114335	elan	leanprover	TODO	345	81	TODO
114336	lean4	leanprover	TODO	21051	2113	TODO
114337	mdbook	leanprover	TODO	1870	0	TODO
114338	vscode-lean4	leanprover	TODO	2670	219	TODO
114339	lean4-nightly	leanprover	TODO	1	1	TODO
114340	lean4-cli	leanprover	TODO	87	10	TODO
114341	lake	leanprover	TODO	701	97	TODO
114342	theorem_proving_in_lean4	leanprover	TODO	1085	48	TODO
114343	leanink	leanprover	TODO	260	27	TODO
114344	lean-llvm	leanprover	TODO	25	2	TODO
114345	doc-gen4	leanprover	TODO	597	86	TODO
114346	fp-lean	leanprover	TODO	351	162	TODO
114347	functional_programming_in_lean	leanprover	TODO	2	0	TODO
114348	alectryon	leanprover	TODO	1035	7	TODO
114349	lean4export	leanprover	TODO	12	3	TODO
114350	lean4-pr-releases	leanprover	TODO	2	0	TODO