Tag Info

type-theory Questions

27	4	Andrej Bauer 22.3k1 gold badge51 silver badges91 bronze badges
6	1	lemontree 3211 silver badge6 bronze badges
4	2	Ptival 1713 bronze badges
4	1	Dan Doel 9462 silver badges8 bronze badges
4	3	nekketsuuu 8554 silver badges18 bronze badges
3	2	jmite 23.7k3 gold badges50 silver badges104 bronze badges
2	2	Alexey Romanov 2,34211 silver badges16 bronze badges
1	1	Apiwat Chantawibul 1,0476 silver badges11 bronze badges
1	1	ice1000 4822 silver badges24 bronze badges
1	1	Derek Elkins 11.2k1 gold badge24 silver badges38 bronze badges
1	1	Yuval Filmus 208k15 gold badges202 silver badges369 bronze badges

443	64	Andrej Bauer 22.3k1 gold badge51 silver badges91 bronze badges
279	30	Gilles♦ 34.7k7 gold badges99 silver badges166 bronze badges
212	29	Derek Elkins 11.2k1 gold badge24 silver badges38 bronze badges
169	27	cody 7,16217 silver badges43 bronze badges
139	18	Martin Berger 7,28518 silver badges38 bronze badges
136	25	jmite 23.7k3 gold badges50 silver badges104 bronze badges
118	26	chi 13.2k21 silver badges33 bronze badges
91	8	Dave Clarke 17.3k3 gold badges56 silver badges109 bronze badges
55	9	Uday Reddy 3,9541 gold badge12 silver badges21 bronze badges
48	1	Edwin Brady 5965 silver badges3 bronze badges
45	15	D.W.♦ 106k14 gold badges134 silver badges312 bronze badges
43	4	Pseudonym 10.5k1 gold badge21 silver badges43 bronze badges
40	11	Dan Doel 9462 silver badges8 bronze badges
39	2	pigworker 5062 silver badges6 bronze badges
37	5	gallais 5633 silver badges12 bronze badges
33	4	gasche 4692 silver badges3 bronze badges
32	1	Ranjit Jhala 4364 silver badges3 bronze badges
32	1	K. A. Buhr 4311 silver badge4 bronze badges
30	6	Rodolphe Lepigre 7743 silver badges10 bronze badges
28	5	jozefg 1,0501 gold badge10 silver badges19 bronze badges

113	8	jmite 23.7k3 gold badges50 silver badges104 bronze badges
106	12	MaiaVictor 1,95413 silver badges28 bronze badges
60	10	盛安安 5193 silver badges14 bronze badges
59	10	user56834 2,0303 gold badges9 silver badges18 bronze badges
52	10	Jake 2,33613 silver badges30 bronze badges
50	2	Victor 3553 silver badges5 bronze badges
48	2	Gilles♦ 34.7k7 gold badges99 silver badges166 bronze badges
39	5	Juan 3781 silver badge12 bronze badges
35	1	dst 1782 silver badges4 bronze badges
34	1	Squidly 2764 silver badges8 bronze badges
33	6	paulotorrens 3541 silver badge9 bronze badges
30	2	Guy Coder 3,2161 gold badge19 silver badges58 bronze badges
30	1	Snowball 2532 silver badges6 bronze badges
30	11	Pushpa 4162 silver badges10 bronze badges
27	1	Meta 2383 silver badges6 bronze badges
26	2	Jon Purdy 2351 silver badge8 bronze badges
26	4	gardenhead 1,6206 silver badges18 bronze badges
25	1	Hugo Sereno Ferreira 2282 silver badges8 bronze badges
25	1	Thomas Cook 2293 silver badges4 bronze badges
22	1	Ben Millwood 3941 silver badge12 bronze badges