issues
search
advancedresearch
/
prop
Propositional logic with types in Rust
MIT License
59
stars
2
forks
source link
Proper handling of epic and monic functions
#1735
Closed
bvssvni
closed
1 year ago
bvssvni
commented
1 year ago
Closes
https://github.com/advancedresearch/prop/issues/1734
Closes https://github.com/advancedresearch/prop/issues/1734