Tag Info

dependent-types Questions

23	1	Andrej Bauer 22.3k1 gold badge51 silver badges91 bronze badges
4	1	Dan Doel 9462 silver badges8 bronze badges
1	1	ice1000 4922 silver badges24 bronze badges

183	24	Andrej Bauer 22.3k1 gold badge51 silver badges91 bronze badges
134	13	cody 7,16217 silver badges43 bronze badges
53	6	Derek Elkins 11.2k1 gold badge24 silver badges38 bronze badges
51	9	Gilles♦ 34.7k7 gold badges99 silver badges166 bronze badges
48	1	Edwin Brady 5965 silver badges3 bronze badges
42	9	jmite 23.7k3 gold badges50 silver badges104 bronze badges
33	5	chi 13.2k21 silver badges33 bronze badges
32	1	Ranjit Jhala 4364 silver badges3 bronze badges
24	4	gallais 5633 silver badges12 bronze badges
22	1	Daniil 1,45213 silver badges23 bronze badges
16	6	Dan Doel 9462 silver badges8 bronze badges
15	1	Alexey Romanov 2,34211 silver badges16 bronze badges
15	2	Martin Berger 7,28519 silver badges38 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	L. Garde 763 bronze badges
4	2	Transfinite Numbers 2081 silver badge5 bronze badges
4	1	jozefg 1,0501 gold badge10 silver badges19 bronze badges
4	1	Anton Fetisov 1412 bronze badges

Labbekak

1788 bronze badges

100	6	jmite 23.7k3 gold badges50 silver badges104 bronze badges
41	1	Victor 3553 silver badges5 bronze badges
34	1	Squidly 2764 silver badges8 bronze badges
29	2	Kostya 2501 silver badge7 bronze badges
26	3	盛安安 5293 silver badges14 bronze badges
25	2	MaiaVictor 1,95413 silver badges28 bronze badges
25	4	Jake 2,33613 silver badges30 bronze badges
24	6	Pushpa 4162 silver badges10 bronze badges
17	3	Labbekak 1788 bronze badges
16	5	al pal 1196 bronze badges
11	1	Abhishek Kumar 1613 bronze badges
11	1	Dr. John A Zoidberg 1613 bronze badges
11	1	Michael Rawson 1788 bronze badges
10	1	paulotorrens 3541 silver badge9 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 6334 silver badges17 bronze badges