GitHub repository: raw-bacon/raw-validity
Primary language: Rust
Description: Validity of l-group formulas