pumpkin-checking 0.3.0

Types used by both pumpkin-core and pumpkin-checker
Documentation
  • Coverage
  • 75%
    30 out of 40 items documented0 out of 4 items with examples
  • Size
  • Source code size: 45.2 kB This is the summed size of all the files inside the crates.io package for this release.
  • Documentation size: 6.14 MB This is the summed size of all files generated by rustdoc for all configured targets
  • Ø build duration
  • this release: 12s Average build duration of successful builds.
  • all releases: 12s Average build duration of successful builds in releases after 2024-10-23.
  • Links
  • ConSol-Lab/Pumpkin
    67 24 22
  • crates.io
  • Dependencies
  • Versions
  • Owners
  • maartenflippo

Exposes a common interface used to check inferences.

The main exposed type is the [InferenceChecker], which can be implemented to verify whether inferences are sound w.r.t. an inference rule.