Ugly Alpha 1
pocket_prover:0.9.1

total uncompressed bytes

99.0 KB

total files

15

Fix

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

10 wasted files

total waste: 11.8 KB

  1. examples/god_does_not_exist.rs : 3.0 KB
  2. examples/exam.rs : 1.9 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/path1.rs : 1.0 KB
  7. examples/path1_vars.rs : 581 B
  8. examples/socrates.rs : 518 B
  9. examples/vars.rs : 443 B
  10. .gitignore : 49 B