Tag Info

type-theory Questions

613	69	Andrej Bauer 25k1 gold badge67 silver badges113 bronze badges
544	49	Neel Krishnaswami 30.3k89 silver badges159 bronze badges
433	62	cody 12.5k1 gold badge38 silver badges75 bronze badges
220	14	Dave Clarke 16.4k3 gold badges57 silver badges106 bronze badges
124	16	Martin Berger 10k3 gold badges33 silver badges62 bronze badges
97	8	Andreas Rossberg 1,24010 silver badges11 bronze badges
79	9	Damiano Mazza 4,3181 gold badge18 silver badges33 bronze badges
74	7	Uday Reddy 4,61626 silver badges37 bronze badges
59	4	Noam Zeilberger 4,14120 silver badges31 bronze badges
50	3	Gilles 'SO- stop being evil' 2,5871 gold badge24 silver badges35 bronze badges
50	5	Charles Stewart 4,25625 silver badges45 bronze badges
46	5	Marc Hamann 2,7741 gold badge21 silver badges22 bronze badges
40	1	pigworker 5064 silver badges7 bronze badges
40	3	Sam Tobin-Hochstadt 1,87711 silver badges21 bronze badges
39	6	András Kovács 5212 silver badges5 bronze badges
39	4	jbapple 10.8k2 gold badges26 silver badges50 bronze badges
37	6	Dominic Mulligan 8279 silver badges15 bronze badges
36	1	Dana Scott 3763 silver badges2 bronze badges
35	6	gasche 1,7171 gold badge14 silver badges13 bronze badges
32	1	Steven Shaw 5244 silver badges9 bronze badges

oquechy

411 bronze badge

133	9	day 2,51517 silver badges26 bronze badges
129	22	MaiaVictor 2,9958 silver badges28 bronze badges
115	3	John Salvatier 1,25511 silver badges11 bronze badges
94	13	Konstantin Solomatov 1,62210 silver badges18 bronze badges
87	13	jmite 2,38711 silver badges27 bronze badges
62	3	Petr 2,34111 silver badges23 bronze badges
62	8	StudentType 7473 silver badges9 bronze badges
46	4	Max New 1,1856 silver badges18 bronze badges
42	1	davidk01 5225 silver badges7 bronze badges
42	4	Neel Krishnaswami 30.3k89 silver badges159 bronze badges
41	4	Jake 1,1016 silver badges19 bronze badges
37	4	Alejandro DC 7013 silver badges14 bronze badges
36	9	Łukasz Lew 1,0873 silver badges12 bronze badges
34	1	oconnor0 4533 silver badges6 bronze badges
31	1	Brian McKenna 4133 silver badges6 bronze badges
30	1	qazwsx 4995 silver badges7 bronze badges
29	1	Russell O'Connor 6084 silver badges7 bronze badges
29	3	mrsteve 4332 silver badges11 bronze badges
28	6	pyon 5012 silver badges10 bronze badges
28	3	Nikolaj-K 4912 silver badges10 bronze badges