Use `not . eq` as dual of `eq` in `tauto` module
bvssvni opened this issue · comments
eq[not] <=> (not . eq)
Closed by #397
advancedresearch / prop
Propositional logic with types in Rust
Propositional logic with types in Rust
bvssvni opened this issue · comments
eq[not] <=> (not . eq)
Closed by #397