issues
search
advancedresearch
/
prop
Propositional logic with types in Rust
MIT License
59
stars
2
forks
source link
Renamed to `hooo::pow_to_pow_tauto_tauto`
#1707
Closed
bvssvni
closed
1 year ago