issues
search
advancedresearch
/
prop
Propositional logic with types in Rust
MIT License
59
stars
2
forks
source link
Added `fun::id::eq_comp_left_inv_id` and `fun::id::eq_comp_right_inv_id`
#1733
Closed
bvssvni
closed
1 year ago