Tag Info

calculus-of-inductive-constructions Questions

38	2	Loïc Pujet 1,48910 silver badges16 bronze badges
28	2	Neel Krishnaswami 2,0535 silver badges17 bronze badges
18	1	Namdak Tönpa 1,2977 silver badges26 bronze badges
14	4	Meven Lennon-Bertrand♦ 5,5308 silver badges28 bronze badges
12	1	Lawrence Paulson 8063 silver badges6 bronze badges
11	1	ice1000♦ 6,31610 silver badges63 bronze badges
9	1	Mario Carneiro 1,5996 silver badges12 bronze badges
7	1	James Wood 1,0534 silver badges17 bronze badges
7	1	Andrej Bauer 9,81223 silver badges62 bronze badges
7	1	ionchy 1,0263 silver badges18 bronze badges
5	1	Couchy 2,3002 gold badges9 silver badges39 bronze badges
5	1	Pierre-Marie Pédrot 2,3339 silver badges18 bronze badges
4	1	It'sNotALie. 1,4456 silver badges19 bronze badges
4	1	Pedro Sánchez Terraf 1,0134 silver badges18 bronze badges
2	1	Nico 7223 silver badges13 bronze badges
2	1	Alex Nelson 1,5746 silver badges21 bronze badges

26	1	Meven Lennon-Bertrand♦ 5,5308 silver badges28 bronze badges
21	1	user21820 4843 silver badges13 bronze badges
15	1	Wno-all 1,1285 silver badges21 bronze badges
13	2	ionchy 1,0263 silver badges18 bronze badges
13	1	Max Kubierschky 1393 bronze badges
11	1	Jason Rute 9,1951 gold badge18 silver badges54 bronze badges
8	1	user833970 4434 silver badges9 bronze badges
6	1	Nico 7223 silver badges13 bronze badges
6	1	Patrick Nicodemus 2521 silver badge7 bronze badges
3	1	Circuit Craft 1955 bronze badges
1	1	Alex Byard 4861 silver badge13 bronze badges

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