Tag Info

proof-assistants Questions

Jesper

2761 silver badge4 bronze badges

83	4	Dave Clarke 16.2k3 gold badges54 silver badges105 bronze badges
62	5	Neel Krishnaswami 29.3k81 silver badges155 bronze badges
43	3	Gilles 'SO- stop being evil' 2,4971 gold badge23 silver badges33 bronze badges
36	3	yhirai 9537 silver badges21 bronze badges
32	8	cody 11.8k34 silver badges68 bronze badges
31	3	Martin Berger 9,7152 gold badges31 silver badges61 bronze badges
30	2	Makarius 4054 silver badges10 bronze badges
29	2	Andrej Bauer 23k1 gold badge62 silver badges108 bronze badges
28	1	Marc 6264 silver badges6 bronze badges
22	1	Mohammad Al-Turkistany 19.4k4 gold badges51 silver badges134 bronze badges
22	3	Dominic Mulligan 8079 silver badges15 bronze badges
19	1	Francisco Mota 6134 silver badges11 bronze badges
15	1	Daniel Marx 1,86810 silver badges12 bronze badges
15	1	Marcin Kotowski 2,76615 silver badges24 bronze badges
13	1	Marzio De Biasi 20.9k2 gold badges46 silver badges114 bronze badges
12	2	Martin Hofmann 5354 silver badges7 bronze badges
11	1	Mikhail Dvorkin 1113 bronze badges
10	1	Jacques Carette 1,18811 silver badges20 bronze badges
8	1	Joshua Grochow 32.1k4 gold badges110 silver badges197 bronze badges
8	1	Radu GRIGore 4,52125 silver badges70 bronze badges

63	2	Dave Clarke 16.2k3 gold badges54 silver badges105 bronze badges
44	1	John Salvatier 1,24511 silver badges11 bronze badges
40	1	davidk01 5025 silver badges7 bronze badges
29	1	Geoffrey Irving 2,5828 silver badges25 bronze badges
28	1	Philip White 4,89223 silver badges40 bronze badges
26	1	Neel Krishnaswami 29.3k81 silver badges155 bronze badges
22	1	hengxin 2,28912 silver badges28 bronze badges
18	1	day 2,45516 silver badges26 bronze badges
18	1	Samuel Schlesinger 1,5203 silver badges19 bronze badges
16	1	Giorgio Mossa 4342 silver badges10 bronze badges
16	1	Scott Kilpatrick 1656 bronze badges
14	1	Marc Hamann 2,7341 gold badge20 silver badges22 bronze badges
14	1	yhirai 9537 silver badges21 bronze badges
14	1	nish2575 3951 silver badge7 bronze badges
12	2	jmite 2,2029 silver badges27 bronze badges
10	1	Vivek Ghaisas 2191 silver badge4 bronze badges
9	2	Rodrigo 4652 silver badges11 bronze badges
8	1	Hanul Jeon 1814 bronze badges
8	1	SorcererofDM 5232 silver badges7 bronze badges
7	1	Pteromys 8754 silver badges12 bronze badges