Tag Info

lean Questions

39	4	Anders Kaseorg 38.9k3 gold badges70 silver badges144 bronze badges
14	2	Wheat Wizard♦ 94.5k19 gold badges266 silver badges625 bronze badges
13	1	Mario Carneiro 4083 silver badges8 bronze badges
8	2	Kyle Miller 5113 silver badges5 bronze badges
6	1	Bubbler 70.2k5 gold badges138 silver badges428 bronze badges
4	1	user 3982 gold badges20 silver badges68 bronze badges
3	1	It'sNotALie. 2271 silver badge8 bronze badges

41	3	Wheat Wizard♦ 94.5k19 gold badges266 silver badges625 bronze badges
39	3	Bubbler 70.2k5 gold badges138 silver badges428 bronze badges
12	1	Huỳnh Trần Khanh 1,0424 silver badges26 bronze badges

Only non community-wiki questions and answers are included in these totals (updated daily)

questions tagged

lean

code-golf × 7
lean × 7
math × 2
abstract-algebra × 2
combinatorics × 1
tips × 1
fibonacci × 1
balanced-string × 1
proof-golf × 1