issues
search
advancedresearch
/
prop
Propositional logic with types in Rust
MIT License
60
stars
2
forks
source link
Removed `ty_` prefix in `path_semantics::ty`
#1650
Closed
bvssvni
closed
1 year ago