[]
= "prop"
= "0.1.1"
= ["Sven Nilsen <bvssvni@gmail.com>"]
= "2018"
= "Propositional logic with types in Rust"
= "MIT"
= "README.md"
= "https://github.com/advancedresearch/prop.git"
= "https://github.com/advancedresearch/prop"
= ["advancedresearch", "theorem", "proving", "logic", "constructive"]
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
[]
= "prop"
[]