Ugly Alpha 1
pocket_prover:0.3.0

total uncompressed bytes

40.0 KB

total files

12

Fix

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

8 wasted files

total waste: 10.0 KB

  1. examples/god_does_not_exist.rs : 3.0 KB
  2. examples/exam.rs : 1.8 KB
  3. examples/inference_rules.rs : 1.5 KB
  4. examples/logic_is_true.rs : 1.4 KB
  5. examples/quantifiers.rs : 1.3 KB
  6. examples/socrates.rs : 518 B
  7. examples/vars.rs : 472 B
  8. .gitignore : 31 B