Ugly Alpha 1
pocket_prover:0.11.0

total uncompressed bytes

103.3 KB

total files

17

Fix

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

11 wasted files

total waste: 13.0 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/extract.rs : 1.2 KB
  7. examples/path1.rs : 1.0 KB
  8. examples/path1_vars.rs : 581 B
  9. examples/socrates.rs : 518 B
  10. examples/vars.rs : 443 B
  11. .gitignore : 49 B