Tag Info

lean3 Questions

42	3	Andrej Bauer 11.1k23 silver badges64 bronze badges
36	5	Eric 9711 gold badge3 silver badges20 bronze badges
33	3	Mario Carneiro 1,8096 silver badges12 bronze badges
28	9	Jason Rute 10.3k1 gold badge20 silver badges57 bronze badges
22	2	It'sNotALie. 1,4556 silver badges19 bronze badges
18	1	Joachim Breitner 1,9448 silver badges25 bronze badges
13	1	Rob Lewis 5936 silver badges12 bronze badges
8	3	Kevin Buzzard 2,56012 silver badges21 bronze badges
6	1	Joey Eremondi 1,0114 silver badges14 bronze badges
5	1	Junyan Xu 2061 silver badge4 bronze badges
5	1	François G. Dorais 6603 silver badges13 bronze badges
5	1	Kim Liesinger 3551 silver badge4 bronze badges
4	1	Chris Bailey 4962 silver badges4 bronze badges
3	1	Ricky 1,0735 silver badges12 bronze badges
3	1	Yury Kudryashov 311 bronze badge
2	1	Weier 3131 silver badge7 bronze badges
2	1	Nico 7323 silver badges13 bronze badges
2	2	Trebor♦ 4,3441 gold badge9 silver badges40 bronze badges
2	1	Kyle Miller 5063 silver badges10 bronze badges

31	2	Bolton Bailey 7164 silver badges11 bronze badges
30	1	Neil Strickland 1,0514 silver badges23 bronze badges
20	1	Jia Ming جيا ميڠ 4203 silver badges10 bronze badges
18	1	Ricky 1,0735 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	1	Matt Diamond 1834 bronze badges
8	4	Alex Byard 5161 silver badge14 bronze badges
7	1	Pavel Snopov 2151 silver badge7 bronze badges
6	1	Nico 7323 silver badges13 bronze badges
5	2	user120404 1633 bronze badges
5	2	Weier 3131 silver badge7 bronze badges
4	2	Matematiflo 1991 silver badge7 bronze badges
3	1	Strichcoder 1935 bronze badges
3	2	ttbo 353 bronze badges
2	1	Gavin Dooley 1213 bronze badges
2	1	IV_ 1314 bronze badges
2	1	Ícaro Lorran 214 bronze badges