Tag Info

dependent-types Questions

4	1	jmite 23.3k3 gold badges48 silver badges102 bronze badges
1	1	L. Garde 663 bronze badges

148	21	Andrej Bauer 21.4k1 gold badge47 silver badges87 bronze badges
131	13	cody 7,08216 silver badges41 bronze badges
53	6	Derek Elkins 10.8k1 gold badge24 silver badges36 bronze badges
48	1	Edwin Brady 5965 silver badges3 bronze badges
42	7	Gilles♦ 34.1k7 gold badges98 silver badges166 bronze badges
39	8	jmite 23.3k3 gold badges48 silver badges102 bronze badges
33	5	chi 13.1k21 silver badges33 bronze badges
31	1	Ranjit Jhala 4264 silver badges3 bronze badges
24	4	gallais 5633 silver badges12 bronze badges
22	1	Daniil 1,45213 silver badges23 bronze badges
15	1	Alexey Romanov 2,28211 silver badges16 bronze badges
15	2	Martin Berger 7,23518 silver badges37 bronze badges
12	5	Dan Doel 8511 silver badge8 bronze badges
7	1	Alexander Kogtenkov 1861 silver badge5 bronze badges
7	1	Musa Al-hassy 7951 gold badge4 silver badges9 bronze badges
6	1	Aaron Stump 611 bronze badge
4	2	j4n bur53 2081 silver badge5 bronze badges
4	1	jozefg 1,0401 gold badge10 silver badges19 bronze badges
4	1	Anton Fetisov 1412 bronze badges
4	1	Warbo 4322 silver badges8 bronze badges

Labbekak

1067 bronze badges

99	6	jmite 23.3k3 gold badges48 silver badges102 bronze badges
39	1	Victor 3453 silver badges5 bronze badges
34	1	Squidly 2764 silver badges8 bronze badges
28	2	Kostya 2451 silver badge7 bronze badges
26	3	盛安安 4993 silver badges13 bronze badges
25	2	MaiaVictor 1,94412 silver badges28 bronze badges
25	4	Jake 2,33613 silver badges30 bronze badges
24	6	Pushpa 4162 silver badges10 bronze badges
11	1	Abhishek Kumar 1613 bronze badges
11	1	Dr. John A Zoidberg 1613 bronze badges
10	1	paulotorrens 3491 silver badge9 bronze badges
10	1	Michael Rawson 1738 bronze badges
10	1	huynhjl 1537 bronze badges
9	1	meguli 2151 silver badge5 bronze badges
9	1	Alex 1633 bronze badges
8	1	fsestini 412 bronze badges
8	1	John Gowers 1434 bronze badges
8	1	hawkeye 6094 silver badges16 bronze badges
7	1	Alex R 2582 silver badges6 bronze badges
7	1	phs 1742 silver badges12 bronze badges