Tag Info

martin-lof-type-theory Questions

28	1	Loïc Pujet 1,48910 silver badges16 bronze badges
22	1	Neel Krishnaswami 2,0535 silver badges17 bronze badges
18	1	Namdak Tönpa 1,2977 silver badges26 bronze badges
12	1	Lawrence Paulson 8063 silver badges6 bronze badges
11	1	ice1000♦ 6,31610 silver badges63 bronze badges
7	2	Li-yao Xia 2,0325 silver badges11 bronze badges
6	1	Trebor♦ 4,0251 gold badge8 silver badges39 bronze badges

26	1	Meven Lennon-Bertrand♦ 5,5308 silver badges28 bronze badges
21	1	user21820 4843 silver badges13 bronze badges
5	1	Ilk 5472 silver badges12 bronze badges
4	1	Mars 1414 bronze badges
2	1	Russoul 3451 silver badge6 bronze badges

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