Ugly Alpha 1
tptp:0.7.2

total uncompressed bytes

46.6 KB

total files

9

Fix

NewInclude { include: [ "src/**/*", "README.md", ], has_build_script: false, }

3 wasted files

total waste: 3.7 KB

  1. benches/SYN000+1.p : 2.7 KB
  2. benches/benchmark.rs : 976 B
  3. .gitignore : 30 B