Tag Info

dependent-types Questions

Andrej Bauer

22.7k1 gold badge51 silver badges91 bronze badges

190	25	Andrej Bauer 22.7k1 gold badge51 silver badges91 bronze badges
134	13	cody 7,23617 silver badges43 bronze badges
53	9	Gilles 'SO- stop being evil' 37.4k7 gold badges100 silver badges166 bronze badges
53	6	Derek Elkins 11.2k1 gold badge24 silver badges39 bronze badges
50	1	Edwin Brady 6166 silver badges3 bronze badges
46	9	jmite 25.8k3 gold badges50 silver badges105 bronze badges
34	1	Ranjit Jhala 4564 silver badges3 bronze badges
33	5	chi 13.4k21 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,1362 silver badges8 bronze badges
15	2	Martin Berger 7,51819 silver badges39 bronze badges
15	1	Alexey Romanov 2,46211 silver badges17 bronze badges
7	1	Alexander Kogtenkov 1861 silver badge5 bronze badges
7	1	Musa Al-hassy 8751 gold badge5 silver badges9 bronze badges
6	1	Aaron Stump 611 bronze badge
4	1	Daniel Gratzer 1,3901 gold badge11 silver badges19 bronze badges
4	1	hawkeye 1,0836 silver badges17 bronze badges
4	2	Transfinite Numbers 2081 silver badge5 bronze badges
4	1	Warbo 4822 silver badges8 bronze badges

jmite

25.8k3 gold badges50 silver badges105 bronze badges

113	8	jmite 25.8k3 gold badges50 silver badges105 bronze badges
42	1	Victor 6155 silver badges5 bronze badges
35	1	Squidly 4615 silver badges8 bronze badges
30	2	Kostya 4052 silver badges7 bronze badges
27	3	盛安安 8844 silver badges14 bronze badges
26	2	MaiaVictor 3,83913 silver badges29 bronze badges
25	4	Jake 3,19314 silver badges30 bronze badges
25	6	Pushpa 7313 silver badges10 bronze badges
17	3	Labbekak 4431 silver badge8 bronze badges
17	6	al pal 4576 bronze badges
12	1	Abhishek Kumar 2311 silver badge3 bronze badges
11	1	Michael Rawson 2331 silver badge8 bronze badges
11	1	Dr. John A Zoidberg 2211 silver badge3 bronze badges
10	1	huynhjl 2031 silver badge7 bronze badges
10	1	paulotorrens 5992 silver badges9 bronze badges
9	1	meguli 2851 silver badge5 bronze badges
9	1	Alex 2231 silver badge3 bronze badges
8	1	John Gowers 1834 bronze badges
8	1	hawkeye 1,0836 silver badges17 bronze badges
8	1	fsestini 812 bronze badges