Tag Info

lean3 Questions

42	3	Andrej Bauer 9,81223 silver badges62 bronze badges
36	5	Eric♦ 9711 gold badge3 silver badges19 bronze badges
33	3	Mario Carneiro 1,5996 silver badges12 bronze badges
27	9	Jason Rute 9,1951 gold badge18 silver badges54 bronze badges
22	2	It'sNotALie. 1,4456 silver badges19 bronze badges
16	1	Joachim Breitner 1,9048 silver badges25 bronze badges
13	1	Rob Lewis 5936 silver badges12 bronze badges
8	3	Kevin Buzzard 2,50012 silver badges21 bronze badges
5	1	Joey Eremondi 9714 silver badges14 bronze badges
5	1	Kim Liesinger 3551 silver badge4 bronze badges
5	1	François G. Dorais 6353 silver badges13 bronze badges
5	1	Junyan Xu 2061 silver badge4 bronze badges
4	1	Chris Bailey 3611 silver badge4 bronze badges
3	1	Yury Kudryashov 311 bronze badge
3	1	Ricky 9885 silver badges12 bronze badges
2	1	Weier 3137 bronze badges
2	2	Trebor♦ 4,0251 gold badge8 silver badges39 bronze badges
2	1	Kyle Miller 5063 silver badges10 bronze badges
2	1	Nico 7223 silver badges13 bronze badges

31	2	Bolton Bailey 7164 silver badges11 bronze badges
30	1	Neil Strickland 1,0514 silver badges22 bronze badges
20	1	Jia Ming جيا ميڠ 4103 silver badges10 bronze badges
17	1	Ricky 9885 silver badges12 bronze badges
13	1	GraffL 4712 silver badges9 bronze badges
11	1	mcd 2132 silver badges8 bronze badges
9	1	magma 1934 bronze badges
8	1	burek 1376 bronze badges
8	4	Alex Byard 4861 silver badge13 bronze badges
7	1	Pavel Snopov 2051 silver badge6 bronze badges
7	1	Matt Diamond 1734 bronze badges
6	1	Nico 7223 silver badges13 bronze badges
5	2	user120404 1633 bronze badges
5	2	Weier 3137 bronze badges
4	2	Matematiflo 1671 silver badge6 bronze badges
3	1	Strichcoder 1935 bronze badges
3	2	ttbo 353 bronze badges
2	1	domotorp 1315 bronze badges
2	1	Ícaro Lorran 214 bronze badges
2	1	Zongshu Wu 232 bronze badges