Ugly Alpha 1
pocket_prover:0.2.0

total uncompressed bytes

36.0 KB

total files

11

Fix

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

7 wasted files

total waste: 9.5 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 : 513 B
  7. .gitignore : 31 B