Tag Info

dependent-types Questions

192	25	Andrej Bauer 22.9k1 gold badge52 silver badges92 bronze badges
135	13	cody 7,31117 silver badges44 bronze badges
53	6	Derek Elkins left SE 11.3k1 gold badge24 silver badges40 bronze badges
53	9	Gilles 'SO- stop being evil' 37.5k7 gold badges101 silver badges166 bronze badges
50	1	Edwin Brady 6166 silver badges3 bronze badges
46	9	jmite 25.9k3 gold badges51 silver badges106 bronze badges
35	1	Ranjit Jhala 4664 silver badges3 bronze badges
33	5	chi 13.5k22 silver badges33 bronze badges
24	4	gallais 5633 silver badges12 bronze badges
22	1	Daniil 2,06713 silver badges23 bronze badges
18	6	Dan Doel 1,1262 silver badges8 bronze badges
15	1	Alexey Romanov 2,46211 silver badges17 bronze badges
15	2	Martin Berger 7,60820 silver badges40 bronze badges
7	1	Alexander Kogtenkov 1861 silver badge5 bronze badges
7	1	Musa Al-hassy 8851 gold badge5 silver badges9 bronze badges
6	1	Aaron Stump 611 bronze badge
4	2	L. Garde 963 bronze badges
4	2	Mostowski Collapse 2081 silver badge5 bronze badges
4	1	Daniel Gratzer 1,3901 gold badge11 silver badges19 bronze badges
4	1	Warbo 4822 silver badges8 bronze badges

114	8	jmite 25.9k3 gold badges51 silver badges106 bronze badges
42	1	Victor 6155 silver badges5 bronze badges
35	1	Squidly 4615 silver badges8 bronze badges
31	2	Kostya 4152 silver badges7 bronze badges
27	3	盛安安 8944 silver badges14 bronze badges
26	2	MaiaVictor 3,85913 silver badges29 bronze badges
25	6	Pushpa 7633 silver badges11 bronze badges
25	4	Jake 3,19314 silver badges30 bronze badges
17	6	al pal 4876 bronze badges
17	3	Labbekak 4431 silver badge8 bronze badges
12	1	Abhishek Kumar 2311 silver badge3 bronze badges
11	1	Dr. John A Zoidberg 2211 silver badge3 bronze badges
11	1	Michael Rawson 2331 silver badge8 bronze badges
10	1	paulotorrens 6193 silver badges9 bronze badges
10	1	huynhjl 2031 silver badge7 bronze badges
9	1	meguli 2851 silver badge5 bronze badges
9	1	Alex 2331 silver badge3 bronze badges
8	1	fsestini 812 bronze badges
8	1	John Gowers 1834 bronze badges
8	1	hawkeye 1,1036 silver badges17 bronze badges