Ugly Alpha 1
proof_system:0.5.3

total uncompressed bytes

129.0 KB

total files

10

Perfectly lean!