Ugly Alpha 1
tptp:0.11.0
total uncompressed bytes
45.6 KB
total files
11
Perfectly lean!