Tag Info

users hot new synonyms

curry-howard Questions

0	Last 7 Days	0% unanswered
1	Last 30 Days	0% unanswered
11	All Time	27.3% unanswered

Top curry-howard Answerers

Last 30 Days

9	1	jmite 2,63213 silver badges28 bronze badges
4	1	Andrej Bauer 26k1 gold badge68 silver badges118 bronze badges

All Time

46	4	cody 12.9k1 gold badge41 silver badges85 bronze badges
11	1	Morgan Thomas 4612 silver badges8 bronze badges
10	1	András Kovács 1,0295 silver badges6 bronze badges
9	1	jmite 2,63213 silver badges28 bronze badges
7	1	Dan Doel 5114 silver badges6 bronze badges
4	1	Ross Duncan 3312 silver badges4 bronze badges
4	1	Andrej Bauer 26k1 gold badge68 silver badges118 bronze badges
3	1	Izaak Meckler 4314 silver badges10 bronze badges

Top curry-howard Askers

Last 30 Days

8

1

JoJoModding

911 bronze badge

All Time

20	1	Morgan Thomas 4612 silver badges8 bronze badges
13	1	lambda2 1854 bronze badges
8	1	JoJoModding 911 bronze badge
8	1	Manuel Jacob 1812 bronze badges
6	1	greatBigDot 1633 bronze badges
4	1	oquechy 411 bronze badge
4	2	Krpcannon 513 bronze badges
3	1	Petr 2,44112 silver badges24 bronze badges
3	1	hawkeye 2,4611 gold badge17 silver badges30 bronze badges

Only non community-wiki questions and answers are included in these totals (updated daily)

Theoretical Computer Science Stack Exchange works best with JavaScript enabled