prop 0.47.0

Propositional logic with types in Rust
Documentation 
{
  "git": {
    "sha1": "90e2088fb3191cd7a9512167c60da54d88c2e748"
  },
  "path_in_vcs": ""
}