Lib.rs

› Science › Math
#logic #propositional-logic #propositional

logic

Owned by nextzhou.

1 unstable release

Uses old Rust 2015

0.1.0 Mar 11, 2018

#8 in #propositional

MIT license

11KB
300 lines

propositional logic

No runtime deps