Repos - Augur View

#	Repo Name	Owner	Reports	Commits	Issues	Change Requests
113901	deprecated-homebrew-lean	leanprover	TODO	812	14	TODO
113902	cmu-15815-s15	leanprover	TODO	37	0	TODO
113903	ppa-updater	leanprover	TODO	15	4	TODO
113904	presentations	leanprover	TODO	99	4	TODO
113905	emacs-dependencies	leanprover	TODO	10	0	TODO
113906	lean.tmbundle	leanprover	TODO	18	4	TODO
113907	macports	leanprover	TODO	412	2	TODO
113908	tc	leanprover	TODO	2	6	TODO
113909	logic_and_proof_lean3	leanprover	TODO	474	14	TODO
113910	theorem_proving_in_lean	leanprover	TODO	906	20	TODO
113911	mkleanbook	leanprover	TODO	677	2	TODO
113912	lean2	leanprover	TODO	8741	6	TODO
113913	vscode-lean	leanprover	TODO	1035	146	TODO
113914	smt2_interface	leanprover	TODO	38	2	TODO
113915	lean-client-js	leanprover	TODO	175	6	TODO
113916	lean.vim	leanprover	TODO	38	9	TODO
113917	super	leanprover	TODO	32	3	TODO
113918	mini_crush	leanprover	TODO	11	1	TODO
113919	lean3-mode	leanprover	TODO	846	23	TODO
113920	lean-nightly	leanprover	TODO	2	0	TODO
113921	lean3-web-editor	leanprover	TODO	35	6	TODO
113922	elan	leanprover	TODO	351	94	TODO
113923	lean4	leanprover	TODO	22151	2643	TODO
113924	mdbook	leanprover	TODO	1870	0	TODO
113925	vscode-lean4	leanprover	TODO	2670	239	TODO