Tag Info

inductive-datatypes Questions

60	5	Andrej Bauer 30k1 gold badge70 silver badges115 bronze badges
25	5	cody 8,11429 silver badges62 bronze badges
24	4	Gilles 'SO- stop being evil' 43.3k7 gold badges117 silver badges182 bronze badges
10	1	Anton Trunov 3,4691 gold badge18 silver badges26 bronze badges
9	2	chi 14.4k1 gold badge29 silver badges39 bronze badges
9	3	Dan Doel 2,6191 gold badge9 silver badges14 bronze badges
8	1	Derek Elkins left SE 12k1 gold badge28 silver badges43 bronze badges
8	1	jbapple 3,31016 silver badges21 bronze badges
6	1	David Richerby 81.4k26 gold badges139 silver badges234 bronze badges
6	1	jmad 9,4381 gold badge37 silver badges41 bronze badges
6	1	Aaron Stump 611 bronze badge
5	2	Yuval Filmus 275k27 gold badges304 silver badges499 bronze badges
4	1	daniel gratzer 1,4801 gold badge13 silver badges22 bronze badges
4	1	Raphael♦ 72.1k28 gold badges177 silver badges385 bronze badges
4	1	Andrew Cann 3411 silver badge8 bronze badges
4	1	D.W.♦ 156k20 gold badges224 silver badges462 bronze badges
3	1	Rmn 3241 silver badge5 bronze badges
3	1	gallais 5734 silver badges14 bronze badges
2	1	fade2black 9,7571 gold badge24 silver badges36 bronze badges
2	1	Guy Coder 5,0912 gold badges28 silver badges64 bronze badges

17	1	Pushpa 9336 silver badges12 bronze badges
17	2	盛安安 9345 silver badges14 bronze badges
17	2	jmite 29.7k5 gold badges64 silver badges119 bronze badges
11	1	Stéphane Gimenez 1,4701 gold badge14 silver badges29 bronze badges
11	1	Dr. John A Zoidberg 2631 silver badge5 bronze badges
11	1	justkris 2111 silver badge3 bronze badges
11	2	Jake 3,79019 silver badges35 bronze badges
9	1	MaiaVictor 4,1171 gold badge17 silver badges33 bronze badges
8	1	ice1000 9286 silver badges35 bronze badges
7	1	thbl2012 1034 bronze badges
7	1	Kaveh 22.2k4 gold badges50 silver badges110 bronze badges
6	1	Guido 3981 silver badge11 bronze badges
5	1	jberryman 1137 bronze badges
5	1	user2023370 1535 bronze badges
4	1	paulotorrens 7113 silver badges11 bronze badges
4	1	formalizer 412 bronze badges
4	1	Giorgio Mossa 1537 bronze badges
4	1	Andrew Cann 3411 silver badge8 bronze badges
4	1	Kirill 1957 bronze badges
3	1	12412316 1333 bronze badges