Tag Info

cubical-agda Questions

13	4	ice1000 5,4948 silver badges56 bronze badges
8	1	Jesper 4663 silver badges7 bronze badges
6	1	András Kovács 1,8726 silver badges15 bronze badges
6	1	Matthew McQuaid 3462 silver badges5 bronze badges
5	1	aws 2511 silver badge3 bronze badges
5	2	Trebor♦ 3,4901 gold badge6 silver badges32 bronze badges
5	1	Jonathan Sterling 5604 silver badges13 bronze badges
4	1	Dan Doel 9304 silver badges6 bronze badges
3	1	Joey Eremondi 7082 silver badges10 bronze badges

20	4	IsAdisplayName 3051 silver badge5 bronze badges
17	2	Joey Eremondi 7082 silver badges10 bronze badges
9	1	Trebor♦ 3,4901 gold badge6 silver badges32 bronze badges
6	1	Naïm Favier 1716 bronze badges
6	1	Åsmund Kløvstad 1605 bronze badges
6	1	ice1000 5,4948 silver badges56 bronze badges
5	1	Max Fan 513 bronze badges

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