Tag Info

software-verification Questions

9	1	Matthieu M. 5294 silver badges13 bronze badges
4	1	Minko_Minkov 1654 bronze badges

74	23	D.W.♦ 159k20 gold badges227 silver badges470 bronze badges
55	7	Gilles 'SO- stop being evil' 43.6k8 gold badges118 silver badges182 bronze badges
53	3	cody 8,20430 silver badges62 bronze badges
49	3	Andrej Bauer 30.4k1 gold badge70 silver badges117 bronze badges
36	3	Dave Clarke 20.2k4 gold badges68 silver badges113 bronze badges
29	3	hengxin 9,5513 gold badges36 silver badges73 bronze badges
27	1	sepp2k 1,74014 silver badges23 bronze badges
16	2	Wandering Logic 17.8k1 gold badge44 silver badges87 bronze badges
13	5	Yuval Filmus 277k27 gold badges312 silver badges504 bronze badges
12	1	Ben 1,7049 silver badges15 bronze badges
12	4	ivcha 5403 silver badges14 bronze badges
12	2	xuq01 1,1909 silver badges17 bronze badges
11	1	Guy Coder 5,1012 gold badges29 silver badges64 bronze badges
11	4	Shaull 17.2k1 gold badge38 silver badges64 bronze badges
11	1	Stefan Lutz 5355 silver badges13 bronze badges
10	1	Alexey Romanov 3,18218 silver badges22 bronze badges
9	1	Matthieu M. 5294 silver badges13 bronze badges
8	2	danielp 2261 silver badge5 bronze badges
8	3	chi 14.6k1 gold badge30 silver badges40 bronze badges
7	3	babou 19.5k40 silver badges76 bronze badges

math boy

35311 bronze badges

84	1	Frank 1,6121 gold badge13 silver badges15 bronze badges
39	1	J. Auon 5034 silver badges7 bronze badges
31	17	Lance 2,2231 gold badge17 silver badges31 bronze badges
21	1	Andres Riofrio 3112 silver badges6 bronze badges
19	1	Maykel Jakson 3552 silver badges7 bronze badges
13	1	Shoe 2792 silver badges7 bronze badges
13	5	user1868607 2,19413 silver badges23 bronze badges
12	1	Raphael 72.4k29 gold badges179 silver badges390 bronze badges
11	1	FK82 2732 silver badges8 bronze badges
10	1	FELIPE N. 1354 bronze badges
9	1	D.W.♦ 159k20 gold badges227 silver badges470 bronze badges
9	1	Mok-Kong Shen 5154 silver badges11 bronze badges
9	1	Xpleria 1936 bronze badges
8	1	zpavlinovic 1,65410 silver badges19 bronze badges
8	1	user1243488 812 bronze badges
7	1	GyCn 712 bronze badges
6	2	eyes enberg 3033 silver badges9 bronze badges
6	1	Physical Mathematics 1635 bronze badges
5	2	Charlie Parker 3,04021 silver badges35 bronze badges
5	1	Jason Kleban 5473 silver badges11 bronze badges