Tag Info

lean4 Questions

10	5	Jason Rute 9,1951 gold badge18 silver badges54 bronze badges
2	1	jthulhu 1513 bronze badges
1	1	Kim Morrison 2292 silver badges4 bronze badges

169	73	Jason Rute 9,1951 gold badge18 silver badges54 bronze badges
37	10	Andrej Bauer 9,81223 silver badges62 bronze badges
36	1	It'sNotALie. 1,4456 silver badges19 bronze badges
27	5	Mario Carneiro 1,5996 silver badges12 bronze badges
18	7	Meven Lennon-Bertrand♦ 5,5308 silver badges28 bronze badges
17	4	Eric♦ 9711 gold badge3 silver badges19 bronze badges
16	7	ice1000♦ 6,31610 silver badges63 bronze badges
15	3	Chris Bailey 3611 silver badge4 bronze badges
14	3	Kim Liesinger 3551 silver badge4 bronze badges
14	3	Sebastian Ullrich 1,6829 silver badges16 bronze badges
13	5	Kevin Buzzard 2,50012 silver badges21 bronze badges
13	1	tydeu 3512 silver badges5 bronze badges
11	1	taylor.2317 1,3388 silver badges36 bronze badges
10	3	Trebor♦ 4,0251 gold badge8 silver badges39 bronze badges
10	2	Alex J Best 6252 silver badges8 bronze badges
9	3	James Wood 1,0534 silver badges17 bronze badges
9	2	siegment 2721 silver badge7 bronze badges
8	1	soktinpk 1962 bronze badges
8	5	François G. Dorais 6353 silver badges13 bronze badges
6	2	Felipe 2731 silver badge6 bronze badges

4	1	tinlyx 2,2201 gold badge7 silver badges29 bronze badges
2	1	ArshakParsa 212 bronze badges
2	3	UmbralChrysanthemums 435 bronze badges
1	1	opfromthestart 133 bronze badges

34	14	Alex Byard 4861 silver badge13 bronze badges
32	1	Dustin G. Mixon 9814 silver badges10 bronze badges
30	6	tinlyx 2,2201 gold badge7 silver badges29 bronze badges
24	7	Jozef Mikušinec 4111 silver badge11 bronze badges
22	1	Neel Krishnaswami 2,0535 silver badges17 bronze badges
19	11	Craig Gidney 4791 silver badge10 bronze badges
17	2	Peter Zeller 2752 silver badges5 bronze badges
15	2	mr snuggles 1613 bronze badges
15	4	Jeremy Salwen 2571 silver badge4 bronze badges
14	14	Charlie Parker 3331 silver badge12 bronze badges
13	5	Nate Glenn 2374 bronze badges
12	2	ice1000♦ 6,31610 silver badges63 bronze badges
11	3	Pieter Cuijpers 1535 bronze badges
10	3	Felipe 2731 silver badge6 bronze badges
9	6	Walter Schulze 3151 silver badge7 bronze badges
8	1	pxeger 2383 silver badges9 bronze badges
8	1	Jason Orendorff 1813 bronze badges
8	2	Adomas Baliuka 1834 bronze badges
7	1	BackusNaur 734 bronze badges
7	1	ch271828n 1713 bronze badges