Ugly Alpha 1
tptp:0.10.0
total uncompressed bytes
43.2 KB
total files
11
Perfectly lean!