Tag Info

lean-mathlib Questions

Jason Rute

9,1951 gold badge18 silver badges54 bronze badges

36	1	It'sNotALie. 1,4456 silver badges19 bronze badges
30	10	Jason Rute 9,1951 gold badge18 silver badges54 bronze badges
30	2	Rob Lewis 5936 silver badges12 bronze badges
26	4	Eric♦ 9711 gold badge3 silver badges19 bronze badges
18	2	Kyle Miller 5063 silver badges10 bronze badges
13	2	Andrej Bauer 9,81223 silver badges62 bronze badges
12	3	Kevin Buzzard 2,50012 silver badges21 bronze badges
12	1	Michael Norrish 1,1126 silver badges16 bronze badges
11	3	Kim Liesinger 3551 silver badge4 bronze badges
11	1	Jacques Carette 4292 silver badges10 bronze badges
6	1	Astaulphe 612 bronze badges
6	1	Mike Shulman 3,2006 silver badges34 bronze badges
5	1	Filippo Alberto Edoardo 3133 silver badges8 bronze badges
5	1	Ana Borges 9464 silver badges11 bronze badges
5	1	Mario Carneiro 1,5996 silver badges12 bronze badges
4	1	damiano 1563 bronze badges
3	1	Mark Pock 312 bronze badges
3	1	Patrick Massot 2011 silver badge4 bronze badges
3	1	Yury Kudryashov 311 bronze badge
3	1	Alex Chichigin 7046 silver badges16 bronze badges

2	1	ArshakParsa 212 bronze badges
1	1	opfromthestart 133 bronze badges

55	2	Dustin G. Mixon 9814 silver badges10 bronze badges
32	13	Alex Byard 4861 silver badge13 bronze badges
30	3	Neil Strickland 1,0514 silver badges22 bronze badges
22	1	Wojowu 1,0585 silver badges24 bronze badges
18	2	Joachim Breitner 1,9048 silver badges25 bronze badges
16	1	Bolton Bailey 7164 silver badges11 bronze badges
14	1	Bubbler 6844 silver badges15 bronze badges
13	1	GraffL 4712 silver badges9 bronze badges
11	1	mcd 2132 silver badges8 bronze badges
8	3	Strichcoder 1935 bronze badges
8	1	Jason Rute 9,1951 gold badge18 silver badges54 bronze badges
6	1	Trebor♦ 4,0251 gold badge8 silver badges39 bronze badges
5	2	user120404 1633 bronze badges
3	1	Adomas Baliuka 1834 bronze badges
3	1	André Muricy 414 bronze badges
2	2	Charlie Parker 3331 silver badge12 bronze badges
2	1	amit9oct 212 bronze badges
2	1	ArshakParsa 212 bronze badges
2	1	Weier 3137 bronze badges
1	1	opfromthestart 133 bronze badges