Tag Info

proof-assistants Questions

83	4	Dave Clarke 16.3k3 gold badges57 silver badges105 bronze badges
63	5	Neel Krishnaswami 30k87 silver badges156 bronze badges
43	3	Gilles 'SO- stop being evil' 2,5271 gold badge24 silver badges33 bronze badges
37	3	yhirai 9637 silver badges21 bronze badges
37	4	Andrej Bauer 24.2k1 gold badge65 silver badges109 bronze badges
34	9	cody 12.3k1 gold badge37 silver badges71 bronze badges
31	3	Martin Berger 9,9153 gold badges32 silver badges61 bronze badges
31	2	Makarius 4154 silver badges10 bronze badges
28	1	Marc 6264 silver badges6 bronze badges
23	3	Dominic Mulligan 8179 silver badges15 bronze badges
22	1	Mohammad Al-Turkistany 19.9k4 gold badges54 silver badges136 bronze badges
20	1	Francisco Mota 6234 silver badges11 bronze badges
17	1	Danko Ilik 1712 bronze badges
17	2	Martin Hofmann 5854 silver badges8 bronze badges
15	1	Daniel Marx 1,89811 silver badges12 bronze badges
15	1	Marcin Kotowski 2,76615 silver badges24 bronze badges
13	1	Marzio De Biasi 21.5k2 gold badges48 silver badges118 bronze badges
11	1	Mikhail Dvorkin 1113 bronze badges
10	1	Jacques Carette 1,21812 silver badges20 bronze badges
8	1	Joshua Grochow 33.1k4 gold badges113 silver badges202 bronze badges

64	2	Dave Clarke 16.3k3 gold badges57 silver badges105 bronze badges
44	1	John Salvatier 1,24511 silver badges11 bronze badges
41	1	davidk01 5125 silver badges7 bronze badges
29	1	Philip White 4,96023 silver badges40 bronze badges
29	1	Geoffrey Irving 2,92110 silver badges26 bronze badges
26	1	Neel Krishnaswami 30k87 silver badges156 bronze badges
24	1	Samuel Schlesinger 1,5924 silver badges19 bronze badges
22	1	hengxin 2,28912 silver badges28 bronze badges
18	1	day 2,46517 silver badges26 bronze badges
16	1	Giorgio Mossa 4442 silver badges10 bronze badges
16	1	Scott Kilpatrick 1656 bronze badges
15	1	Stefan Ciobaca 1592 bronze badges
14	1	Marc Hamann 2,7541 gold badge21 silver badges22 bronze badges
14	1	yhirai 9637 silver badges21 bronze badges
14	1	nish2575 3951 silver badge8 bronze badges
13	1	Vivek Ghaisas 2491 silver badge5 bronze badges
12	2	jmite 2,32910 silver badges27 bronze badges
9	2	Rodrigo 5972 silver badges11 bronze badges
8	1	Hanul Jeon 1814 bronze badges
8	1	SorcererofDM 5232 silver badges7 bronze badges