Tag Info

proof-assistants Questions

53	3	Dave Clarke 20.2k4 gold badges67 silver badges113 bronze badges
49	6	jmite 29.7k5 gold badges64 silver badges119 bronze badges
42	10	cody 8,11429 silver badges62 bronze badges
39	8	Andrej Bauer 30k1 gold badge70 silver badges115 bronze badges
31	3	Makarius 4284 silver badges7 bronze badges
23	2	Raphael♦ 72k28 gold badges177 silver badges385 bronze badges
22	3	Gilles 'SO- stop being evil' 43.3k7 gold badges117 silver badges182 bronze badges
20	7	Yuval Filmus 275k27 gold badges304 silver badges499 bronze badges
19	1	Kristopher Micinski 2911 silver badge4 bronze badges
17	3	Luke Mathieson 18k4 gold badges55 silver badges86 bronze badges
17	4	Derek Elkins left SE 12k1 gold badge28 silver badges43 bronze badges
17	3	Dan Doel 2,6191 gold badge9 silver badges14 bronze badges
16	2	gallais 5734 silver badges14 bronze badges
15	4	D.W.♦ 156k20 gold badges224 silver badges461 bronze badges
11	1	Realz Slaw 6,19132 silver badges71 bronze badges
11	3	Pseudonym♦ 21.6k2 gold badges40 silver badges81 bronze badges
11	1	babou 19.4k40 silver badges76 bronze badges
10	1	Daniil 2,16718 silver badges24 bronze badges
9	2	jmad 9,4381 gold badge37 silver badges41 bronze badges
9	1	Nicholas Mancuso 3,8571 gold badge23 silver badges39 bronze badges

136	7	Guy Coder 5,0912 gold badges28 silver badges64 bronze badges
25	4	Jason Hu 6223 silver badges13 bronze badges
23	1	Gilles 'SO- stop being evil' 43.3k7 gold badges117 silver badges182 bronze badges
21	1	Isinlor 3252 silver badges6 bronze badges
15	2	user11942 1616 bronze badges
14	4	user1868607 2,18413 silver badges23 bronze badges
11	3	ice1000 9286 silver badges35 bronze badges
8	2	john mangual 1,9311 gold badge21 silver badges26 bronze badges
8	1	dukereg 2951 silver badge3 bronze badges
8	1	thoughtpolice 3471 silver badge5 bronze badges
7	3	user56834 3,6424 gold badges18 silver badges31 bronze badges
6	1	PhD 3371 silver badge6 bronze badges
6	2	Lance 2,1631 gold badge16 silver badges30 bronze badges
6	2	dokkat 1213 bronze badges
6	1	MarkokraM 3851 silver badge8 bronze badges
6	1	MaiaVictor 4,1171 gold badge17 silver badges33 bronze badges
5	1	Weier 1813 bronze badges
5	1	Charlie Parker 3,00020 silver badges34 bronze badges
5	1	alim 9847 silver badges23 bronze badges
5	2	Monika 1831 silver badge10 bronze badges