Sha256: 4e4567a92d9616fa4e8a8f9ae0fed718b2569bb27b250885dd318c32cf0852b3

Contents?: true

Size: 416 Bytes

Versions: 0

Compression:

Stored size: 416 Bytes

Contents

xRj0[pb7Hhi!F@/$ZLӦڛ\=k'4MmOglvAY79gU^Bm	ΒX3?t>V= ;عKN0;q~,kPYQޤKagG~vhh#>_ʿ#>Zvw}.ǮEӓA»
VvR]ȟCx86X[|`UЫpCmf$, V0᲌lڠ)-466!F1J-A	̈́ ݼ)J>IP2ReupwrK[nElg;}k.R{Z?+S.o6MI"

Quick Spec version

plurimath-0.3.0