6 releases

0.2.0 Nov 13, 2022
0.1.4 Nov 12, 2022
0.1.1 Oct 17, 2022

#7 in #propositional


Used in mini-prop

MIT license

52KB
1K SLoC


A crate to simplify work with Propositional Statements

Dependencies

~315KB