Sha256: d554592ba03ac5b47e0b1c310d640c3097ca50ab293bd3cb23f02999911f9caf

Contents?: true

Size: 416 Bytes

Versions: 0

Compression:

Stored size: 416 Bytes

Contents

xR]K#1-"j;|Z
"	+V+}qYC6I|?63_`AM^ɹ{Ś'b|A®Yk&bm`/;9Kr658]VQU"F,Fb{eԳ>E;=oAjsaq-3{:;
Jn*E8w׆픀1)!W,?G<<NmzK53q+	8[V2uifI0XAo将o\5A<,YT(eY&+}ҜˠRtlǰ)lF&J6
D)Or^z(~MnLO(l۹Unw7[BahLj0Wߓ

Quick Spec version

plurimath-0.8.0