prop 0.26.0

Propositional logic with types in Rust
Documentation

prop

There is very little structured metadata to build this page from currently. You should check the main library docs, readme, or Cargo.toml in case the author documented the features in them.

This version has 6 feature flags, 1 of them enabled by default.

default

    This feature flag does not enable additional features.

old_homotopy_levels

  • subst_equality

quantify

    This feature flag does not enable additional features.

avatar_extensions

    This feature flag does not enable additional features.

subst_equality

    This feature flag does not enable additional features.

pure_platonism

    This feature flag does not enable additional features.