"Lean" - top repositories on ReviewGithub

repo	techs	stars	weekly	forks	weekly
leanprover/lean4	LeanC++CMake	2.8k	+15	251	+2
leanprover-community/mathlib4	LeanPythonShell	350	+5	140	+1
leanprover-community/mathlib	LeanOther	1.6k	+4	303	0
JLimperg/aesop	LeanShell	88	+2	14	0
lean-dojo/LeanInfer	LeanC++Shell	27	+2	1	0
mo271/formal_book	Lean	29	+1	4	0
facebookresearch/miniF2F	Objective-C++IsabelleLean	35	+1	9	0
EdAyers/ProofWidgets4	LeanTypeScriptTeX	56	+1	10	0
leanprover-community/lean4-metaprogramming-book	LeanPython	145	+1	33	+1
meoowers/melp	Lean	14	+1	0	0
jjdishere/EG	LeanTeX	6	+1	42	0
input-output-hk/cardano-wallet	HaskellMarkdownRuby	726	0	228	0
ImperialCollegeLondon/formalising-mathematics-2022	Lean	112	0	27	0
openai/lean-gym	LeanShell	120	0	31	0
openai/miniF2F	Objective-C++IsabelleLean	209	0	40	0
leanprover-community/lean-liquid	LeanOther	136	0	11	0
leanprover-community/tutorials	LeanPython	179	0	65	0
igithublab/MT1300	LeanShell	65	0	93	0
IPDSnelting/tba-2022	Lean	14	0	2	0
arthurpaulino/lean4-metaprogramming-book	LeanPython	145	0	33	0
yatima-inc/yatima-lang	Lean	72	0	5	0
Faris999/indonesian-mo-formalization	Lean	2	0	2	0
zhangir-azerbayev/lean-chat	LeanPython	48	0	5	0
yatima-inc/straume	Lean	5	0	1	0
leanprover-community/lftcm2020	LeanTeXPython	63	0	78	0

Lean