Lib.rs

›

#statement #propositional #logical

prop_tune

由 emilHof 维护。

6 个版本

0.2.0	2022 年 11 月 13 日
0.1.4	2022 年 11 月 12 日
0.1.1	2022 年 10 月 17 日

#7 in #propositional

在 mini-prop 中使用

MIT 许可证

52KB
1K SLoC

用于简化命题语句工作的 crate

依赖项

~315KB