prop (cargo): Propositional logic with types in Rust
Keywords: proving|constructive|theorem|advancedresearch|logic