Top Lean repos

3,552 repos

	Rank	Repo	Stars	Developer
	11	xena	225	kbuzzard
	12	batteries	208	leanprover-community
	13	lean4-metaprogramming-book	202	leanprover-community
	14	tutorials	180	leanprover-community
	15	lean-liquid	156	leanprover-community
	16	formalabstracts	156	formalabstracts
	17	M40001_lean	155	ImperialCollegeLondon
	18	aesop	152	leanprover-community
	19	lean-gym	144	openai
	20	formalising-mathematics-2022	118	ImperialCollegeLondon