propositional_logic 0.2.0

generate truth tables for compound propositions
Documentation
1
2
pub use crate::*;
pub use macros::*;