[]
[]
= []
= []
= []
[]
= "prop"
[]
= ["Sven Nilsen <bvssvni@gmail.com>"]
= "Propositional logic with types in Rust"
= "2018"
= "https://github.com/advancedresearch/prop"
= ["advancedresearch", "theorem", "proving", "logic", "constructive"]
= "MIT"
= "prop"
= "README.md"
= "https://github.com/advancedresearch/prop.git"
= "0.13.0"