Ugly Alpha 1
pocket_prover:0.1.0

total uncompressed bytes

28.2 KB

total files

9

Fix

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

5 wasted files

total waste: 5.1 KB

  1. examples/exam.rs : 1.8 KB
  2. examples/inference_rules.rs : 1.5 KB
  3. examples/quantifiers.rs : 1.3 KB
  4. examples/socrates.rs : 513 B
  5. .gitignore : 31 B