Tag Info

type-theory Questions

672	81	Andrej Bauer 26.4k1 gold badge71 silver badges123 bronze badges
601	56	Neel Krishnaswami 31.6k93 silver badges162 bronze badges
462	64	cody 13.1k1 gold badge43 silver badges87 bronze badges
224	14	Dave Clarke 16.6k3 gold badges58 silver badges106 bronze badges
129	17	Martin Berger 10.3k3 gold badges34 silver badges62 bronze badges
105	16	András Kovács 1,2647 silver badges7 bronze badges
98	8	Andreas Rossberg 1,29010 silver badges11 bronze badges
82	9	Damiano Mazza 4,8231 gold badge20 silver badges35 bronze badges
76	7	Uday Reddy 4,67627 silver badges38 bronze badges
60	4	Noam Zeilberger 4,28921 silver badges33 bronze badges
54	3	Gilles 'SO- stop being evil' 2,6671 gold badge25 silver badges35 bronze badges
50	5	Charles Stewart 4,27626 silver badges45 bronze badges
48	5	Marc Hamann 2,8641 gold badge22 silver badges22 bronze badges
41	4	jbapple 11k2 gold badges27 silver badges50 bronze badges
40	3	Sam Tobin-Hochstadt 1,88711 silver badges21 bronze badges
40	1	pigworker 5064 silver badges7 bronze badges
38	6	Dominic Mulligan 8379 silver badges15 bronze badges
38	7	gasche 1,8821 gold badge15 silver badges15 bronze badges
36	1	Dana Scott 3763 silver badges2 bronze badges
36	1	Steven Shaw 5744 silver badges9 bronze badges

143	9	day 2,6751 gold badge18 silver badges26 bronze badges
132	23	MaiaVictor 3,0459 silver badges29 bronze badges
121	3	John Salvatier 1,31513 silver badges11 bronze badges
99	13	Konstantin Solomatov 1,71211 silver badges20 bronze badges
91	13	Joey Eremondi 2,72414 silver badges29 bronze badges
65	3	Petr 2,47112 silver badges25 bronze badges
65	8	StudentType 7773 silver badges9 bronze badges
48	4	Max New 1,3577 silver badges19 bronze badges
47	5	Neel Krishnaswami 31.6k93 silver badges162 bronze badges
42	4	Jake 1,1316 silver badges20 bronze badges
42	10	Łukasz Lew 1,1474 silver badges12 bronze badges
37	4	Alejandro DC 7013 silver badges14 bronze badges
35	1	qazwsx 5491 gold badge6 silver badges7 bronze badges
34	1	oconnor0 4534 silver badges6 bronze badges
34	5	ice1000 9233 silver badges21 bronze badges
32	1	Brian McKenna 4233 silver badges6 bronze badges
31	8	Nift 7133 silver badges11 bronze badges
30	3	mrsteve 4432 silver badges12 bronze badges
29	1	Russell O'Connor 6184 silver badges7 bronze badges
29	3	Nikolaj-K 5052 silver badges10 bronze badges