"Lean" - top repositories on ReviewGithub

repo	techs	stars	weekly	forks	weekly
leanprover/lean4	LeanC++CMake	2.8k	+30	247	+6
leanprover-community/mathlib4	LeanPythonShell	336	+12	135	+5
leanprover-community/mathlib	LeanOther	1.6k	+4	301	0
leanprover-community/lean-liquid	LeanOther	134	+2	10	0
leanprover/lean4-samples	LeanCSSJavaScript	61	+2	18	0
avigad/lean-auto	LeanSMT	3	+2	0	0
openai/miniF2F	Objective-C++IsabelleLean	206	+1	39	0
IPDSnelting/tba-2022	Lean	13	+1	2	0
yatima-inc/yatima-lang	Lean	70	+1	5	+1
leanprover/std4	Lean	118	+1	42	+1
yatima-inc/yatima	Lean	70	+1	5	+1
gebner/quote4	LeanMakefile	52	+1	7	0
jjdishere/EG	LeanTeX	5	+1	42	+9
input-output-hk/cardano-wallet	HaskellMarkdownRuby	726	0	227	0
ImperialCollegeLondon/formalising-mathematics-2022	Lean	113	0	27	0
openai/lean-gym	LeanShell	119	0	31	0
leanprover-community/tutorials	LeanPython	179	0	64	0
igithublab/MT1300	LeanShell	65	0	93	0
arthurpaulino/lean4-metaprogramming-book	LeanPython	144	0	31	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
ImperialCollegeLondon/natural_number_game	LeanHTMLOther	277	0	72	0
plfa/plfl	Lean	13	0	4	0

Lean