Ugly Alpha 1
proof_system:0.1.0

total uncompressed bytes

67.6 KB

total files

9

Perfectly lean!