Sha256: c1e6273ad1ad792a633c332b77e2035995a107926e84aef7e9999d4d2f675c10

Contents?: true

Size: 455 Bytes

Versions: 0

Compression:

Stored size: 455 Bytes

Contents

x[o0+&F%>l":,m/[P顱AQ<c'&Qqbs30>!gYi&׷z[mq<zay|vHVeH'aY3&ŏc)`<(]1DKZE'Y
"G":ӓȜ$T̳KQ&xN<jZqSKX,xC
|	<_8HxVJCi
rKqelIZ^׀pmZ2S|;llLm	d~IUv.Nv.ٛo.2ZW2ނv"o&EӶwq9$-8W1Eq;'4=(WLfo_eӧI'>;?>N(p
67bo/"

Quick Spec version

plurimath-0.8.13