Repos by leanprover

leanprover / repos

50 repos

	Repo	Language	Stars	Rank
	lean4	Lean	3,759	1
	lean3	C++	2,137	1,098
	elan	Rust	264	3,734
	std4	Lean	197	12
	theorem_proving_in_lean4	JavaScript	138	38,338
	vscode-lean4	TypeScript	122	16,938
	lean2	C++	121	16,276
	vscode-lean	TypeScript	118	17,401
	lake	Lean	97	28
	logic_and_proof	TeX	94	1,113