Lib.rs

›

#statement #propositional #logical

prop_tune

Owned by Emil Hofstetter.

6 releases

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

#6 in #propositional

Used in mini-prop

MIT license

52KB
1K SLoC

A crate to simplify work with Propositional Statements

Dependencies

~320KB