Ugly Alpha 1
proof_system:0.7.0
total uncompressed bytes
130.6 KB
total files
10
Perfectly lean!