prop 0.13.0

Propositional logic with types in Rust
Documentation 
1
2
3
4
5
6

{
  "git": {
    "sha1": "6bfb447e2d0be7f82990a5e3a17d095fd1d2f28c"
  },
  "path_in_vcs": ""
}