https://gitlab.com/nomadic-labs/mi-cho-coq
Tip revision: 66fe9575cf5024198f876ef78b93727e20634fb1 authored by Raphaƫl Cauderlier on 01 July 2019, 12:42:49 UTC
Apply suggestion to src/contracts_coq/generic_multisig.v
Apply suggestion to src/contracts_coq/generic_multisig.v
Tip revision: 66fe957
logo_tezos.tikz
\filldraw [fill=blue] (0,0) svg[xscale = 3,yscale= -3] {
M30.252 63.441
c -4.55 0 -7.864 -1.089 -9.946 -3.267
-2.08 -2.177 -3.121 -4.525 -3.121 -7.041
0 -.92 .181 -1.694 .544 -2.323
a 3.993 3.993 0 0 1 1.489 -1.489
c .629 -.363 1.403 -.544 2.323 -.544
.92 0 1.693 .181 2.323 .544
.629 .363 1.125 .86 1.488 1.489
.363 .629 .544 1.403 .544 2.323
0 1.113 -.266 2.02 -.798 2.722
-.533 .702 -1.162 1.161 -1.888 1.38
.63 .87 1.622 1.487 2.977 1.85
1.355 .388 2.71 .581 4.065 .581
1.887 0 3.593 -.508 5.118 -1.524
1.524 -1.017 2.65 -2.517 3.376 -4.501
.726 -1.984 1.089 -4.235 1.089 -6.752
0 -2.734 -.4 -5.07 -1.198 -7.005
-.775 -1.96 -1.924 -3.412 -3.449 -4.356
a 9.21 9.21 0 0 0 -4.936 -1.415
c -1.162 0 -2.613 .484 -4.356 1.452l -3.194 1.597
v -1.597
L 37.076 16.4
H 17.185
v 19.89
c 0 1.646 .363 3.001 1.089 4.066
s 1.839 1.597 3.34 1.597
c 1.16 0 2.274 -.387 3.339 -1.162
a 11.803 11.803 0 0 0 2.758 -2.83
c .097 -.219 .218 -.376 .363 -.473
a .723 .723 0 0 1 .472 -.181
c .266 0 .58 .133 .944 .4
.339 .386 .508 .834 .508 1.342
a 9.243 9.243 0 0 1 -.182 1.017
c -.822 1.839 -1.96 3.242 -3.412 4.21
a 8.457 8.457 0 0 1 -4.79 1.452
c -4.308 0 -7.285 -.847 -8.93 -2.54
-1.645 -1.695 -2.468 -3.994 -2.468 -6.897
V 16.4
H .052
v -3.703
h 10.164
v -8.42
L 7.893 1.952
V .066
h 6.751l2.54 1.306
v 11.325l26.28 -.072 2.614 2.613 -16.116 16.116
a 10.807 10.807 0 0 1 3.049 -.726
c 1.742 0 3.702 .557 5.88 1.67
2.202 1.089 3.896 2.59 5.081 4.5
1.186 1.888 1.948 3.703 2.287 5.445
.363 1.743 .545 3.291 .545 4.646
0 3.098 -.654 5.977 -1.96 8.64
-1.307 2.661 -3.291 4.645 -5.953 5.952
-2.662 1.307 -5.542 1.96 -8.639 1.96
z};