GitHub repository: tsionyx/prop-logic
Primary language: Rust
Description: Propositional logic concepts