Tag Info

proof-assistants Questions

84	4	Dave Clarke 16.4k3 gold badges57 silver badges106 bronze badges
63	5	Neel Krishnaswami 30.8k89 silver badges159 bronze badges
58	7	Andrej Bauer 25.4k1 gold badge67 silver badges115 bronze badges
43	3	Gilles 'SO- stop being evil' 2,5971 gold badge24 silver badges35 bronze badges
37	3	yhirai 9637 silver badges21 bronze badges
34	9	cody 12.7k1 gold badge39 silver badges81 bronze badges
32	2	Makarius 4254 silver badges10 bronze badges
31	3	Martin Berger 10.1k3 gold badges33 silver badges62 bronze badges
28	1	Marc 6264 silver badges6 bronze badges
25	3	Dominic Mulligan 8379 silver badges15 bronze badges
24	3	Jacques Carette 1,46013 silver badges23 bronze badges
22	1	Mohammad Al-Turkistany 20.3k4 gold badges56 silver badges143 bronze badges
21	1	Francisco Mota 6334 silver badges11 bronze badges
18	1	Danko Ilik 1812 bronze badges
16	2	Martin Hofmann 5834 silver badges8 bronze badges
15	1	Daniel Marx 1,95812 silver badges12 bronze badges
14	1	Marcin Kotowski 2,77616 silver badges25 bronze badges
13	1	Marzio De Biasi 21.8k2 gold badges50 silver badges122 bronze badges
11	1	Mikhail Dvorkin 1113 bronze badges
10	2	András Kovács 9444 silver badges6 bronze badges

66	2	Dave Clarke 16.4k3 gold badges57 silver badges106 bronze badges
48	1	John Salvatier 1,30513 silver badges11 bronze badges
29	1	Geoffrey Irving 3,05212 silver badges27 bronze badges
29	1	Philip White 4,9901 gold badge24 silver badges42 bronze badges
26	1	Neel Krishnaswami 30.8k89 silver badges159 bronze badges
26	1	Samuel Schlesinger 1,6125 silver badges19 bronze badges
23	1	hengxin 2,2991 gold badge13 silver badges30 bronze badges
19	1	day 2,5451 gold badge17 silver badges26 bronze badges
16	1	Giorgio Mossa 4442 silver badges10 bronze badges
16	1	Stefan Ciobaca 1692 bronze badges
16	1	Scott Kilpatrick 1656 bronze badges
14	1	Marc Hamann 2,7841 gold badge21 silver badges22 bronze badges
14	1	yhirai 9637 silver badges21 bronze badges
14	1	nish2575 3951 silver badge8 bronze badges
14	1	Henry Story 4652 silver badges11 bronze badges
13	1	Vivek Ghaisas 2491 silver badge5 bronze badges
12	2	jmite 2,41712 silver badges27 bronze badges
9	2	Rodrigo 6493 silver badges11 bronze badges
8	1	Hanul Jeon 1814 bronze badges
8	2	Jacques Carette 1,46013 silver badges23 bronze badges