Tag Info

curry-howard Questions

benrg

2161 silver badge2 bronze badges

41	6	jmite 27.8k5 gold badges57 silver badges110 bronze badges
25	3	Derek Elkins left SE 11.5k1 gold badge25 silver badges41 bronze badges
21	1	Pseudonym 13.3k1 gold badge25 silver badges50 bronze badges
10	2	Martin Berger 7,85121 silver badges41 bronze badges
10	1	gallais 5633 silver badges12 bronze badges
9	1	Gilles 'SO- stop being evil' 39k7 gold badges103 silver badges167 bronze badges
8	1	Toxaris 3841 silver badge4 bronze badges
8	2	Luke Mathieson 17k3 gold badges49 silver badges80 bronze badges
6	1	cody 7,44318 silver badges48 bronze badges
6	1	benrg 2161 silver badge2 bronze badges
5	1	chi 13.7k23 silver badges34 bronze badges
5	1	Anton Trunov 3,3491 gold badge15 silver badges24 bronze badges
5	2	Andrej Bauer 25.3k1 gold badge57 silver badges98 bronze badges
4	1	Robert Harper 1412 bronze badges
3	1	Uday Reddy 4,0841 gold badge13 silver badges22 bronze badges
3	1	Jake 3,52016 silver badges31 bronze badges
3	1	AntC 4773 silver badges13 bronze badges
2	1	Jesse A 211 bronze badge
2	1	Steven Stadnicki 2,13211 silver badges20 bronze badges
2	1	David Richerby 78k17 gold badges123 silver badges218 bronze badges

Tonita

756 bronze badges

16	1	Joshua 2631 silver badge5 bronze badges
14	3	TomR 1,3076 silver badges12 bronze badges
13	1	hewasonlyacat 1312 bronze badges
12	1	dk14 2331 silver badge7 bronze badges
9	1	dukereg 2971 silver badge3 bronze badges
8	1	MaiaVictor 3,90914 silver badges29 bronze badges
7	1	AntC 4773 silver badges13 bronze badges
7	1	Eli Rose -- REINSTATE MONICA 4302 silver badges9 bronze badges
5	1	PhD 3071 silver badge5 bronze badges
5	1	Martin Berger 7,85121 silver badges41 bronze badges
5	1	Bharat Khatri 1514 bronze badges
5	1	Kostiantyn Rybnikov 1534 bronze badges
5	1	Justin Raymond 1733 bronze badges
4	1	Boris 4732 silver badges9 bronze badges
4	1	MarkokraM 3551 silver badge7 bronze badges
3	1	Ankur 6183 silver badges12 bronze badges
3	1	chansey 2051 silver badge5 bronze badges
3	1	xuq01 1,1507 silver badges15 bronze badges
3	1	Tonita 756 bronze badges
2	2	Pushpa 7933 silver badges11 bronze badges