Tag Info

proof-assistants Questions

7	2	Andrej Bauer 23.8k1 gold badge63 silver badges109 bronze badges
2	1	cody 12.2k1 gold badge36 silver badges69 bronze badges

83	4	Dave Clarke 16.2k3 gold badges55 silver badges105 bronze badges
63	5	Neel Krishnaswami 29.8k85 silver badges156 bronze badges
43	3	Gilles 'SO- stop being evil' 2,5171 gold badge23 silver badges33 bronze badges
37	3	yhirai 9637 silver badges21 bronze badges
37	4	Andrej Bauer 23.8k1 gold badge63 silver badges109 bronze badges
34	9	cody 12.2k1 gold badge36 silver badges69 bronze badges
31	3	Martin Berger 9,8752 gold badges31 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.8k4 gold badges53 silver badges136 bronze badges
19	1	Francisco Mota 6134 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.3k2 gold badges48 silver badges118 bronze badges
11	1	Mikhail Dvorkin 1113 bronze badges
10	1	Jacques Carette 1,20812 silver badges20 bronze badges
8	1	xrq 9652 silver badges14 bronze badges

Łukasz Lew

1,0592 silver badges12 bronze badges

64	2	Dave Clarke 16.2k3 gold badges55 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,94023 silver badges40 bronze badges
29	1	Geoffrey Irving 2,91310 silver badges26 bronze badges
26	1	Neel Krishnaswami 29.8k85 silver badges156 bronze badges
24	1	Samuel Schlesinger 1,5923 silver badges19 bronze badges
22	1	hengxin 2,28912 silver badges28 bronze badges
18	1	day 2,46516 silver badges26 bronze badges
16	1	Giorgio Mossa 4342 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 badge20 silver badges22 bronze badges
14	1	yhirai 9637 silver badges21 bronze badges
14	1	nish2575 3951 silver badge7 bronze badges
13	1	Vivek Ghaisas 2491 silver badge4 bronze badges
12	2	jmite 2,27410 silver badges27 bronze badges
9	2	Rodrigo 5452 silver badges11 bronze badges
8	1	Hanul Jeon 1814 bronze badges
8	1	SorcererofDM 5232 silver badges7 bronze badges