Sha256: 702aa090f576cfa7f005a51668aa41cdc7b9246140f6107fe359caf7c1cb2396

Contents?: true

Size: 455 Bytes

Versions: 0

Compression:

Stored size: 455 Bytes

Contents

x]k0Nm+cưK/6d6eқ\9,۟Olv}žyu]}E	Tv;It_9yRea$eDNJ/_~lܱ
hbܔ2K&Ͼ e:S>~
R`FRTr-3{:EZ>*sv޾+bMuSqJTyO
%l!/ٛvėO6)NI)ABD=IE-~4{^ܳbqkix[s!wFD΀K^Y#2hŠ!+*[m5L$.(&=8CYԘ܎֥Bњ,+ݍ{Nx8)QP\0(%px،	t

Quick Spec version

plurimath-0.8.21