Tag Info

curry-howard Questions

Andrej Bauer

23.6k1 gold badge55 silver badges94 bronze badges

40	6	jmite 26.4k4 gold badges54 silver badges108 bronze badges
24	3	Derek Elkins left SE 11.4k1 gold badge25 silver badges40 bronze badges
21	1	Pseudonym 11.5k1 gold badge23 silver badges45 bronze badges
10	1	gallais 5633 silver badges12 bronze badges
10	2	Martin Berger 7,65820 silver badges40 bronze badges
9	1	Gilles 'SO- stop being evil' 37.9k7 gold badges102 silver badges166 bronze badges
8	1	Toxaris 3841 silver badge4 bronze badges
8	2	Luke Mathieson 16.7k3 gold badges48 silver badges79 bronze badges
6	1	cody 7,34117 silver badges44 bronze badges
5	1	chi 13.6k22 silver badges33 bronze badges
5	1	Anton Trunov 3,2791 gold badge13 silver badges24 bronze badges
3	2	Andrej Bauer 23.6k1 gold badge55 silver badges94 bronze badges
3	1	AntC 4423 silver badges13 bronze badges
3	1	Jake 3,22814 silver badges30 bronze badges
3	1	Uday Reddy 4,0241 gold badge13 silver badges21 bronze badges
2	1	Steven Stadnicki 2,09211 silver badges19 bronze badges
2	1	Jesse A 211 bronze badge
2	1	David Richerby 77.1k17 gold badges119 silver badges212 bronze badges
1	1	Eric Bond 112 bronze badges
1	1	Musa Al-hassy 8841 gold badge5 silver badges9 bronze badges

Bharat Khatri

1314 bronze badges

16	1	Joshua 2631 silver badge4 bronze badges
14	3	TomR 1,2655 silver badges11 bronze badges
13	1	hewasonlyacat 1312 bronze badges
12	1	dk14 2231 silver badge6 bronze badges
9	1	dukereg 2971 silver badge3 bronze badges
7	1	AntC 4423 silver badges13 bronze badges
7	1	MaiaVictor 3,87913 silver badges29 bronze badges
7	1	Eli Rose -- REINSTATE MONICA 4302 silver badges9 bronze badges
5	1	Kostiantyn Rybnikov 1534 bronze badges
5	1	Justin Raymond 1733 bronze badges
5	1	PhD 2851 silver badge5 bronze badges
5	1	Martin Berger 7,65820 silver badges40 bronze badges
4	1	Boris 4632 silver badges9 bronze badges
3	1	Bharat Khatri 1314 bronze badges
3	1	MarkokraM 3451 silver badge7 bronze badges
3	1	xuq01 1,1057 silver badges15 bronze badges
3	1	Ankur 6083 silver badges12 bronze badges
2	2	Pushpa 7633 silver badges11 bronze badges
2	1	hawkeye 1,1136 silver badges17 bronze badges
1	1	user600670 1375 bronze badges