✓ Uses Rust 2018 edition
|0.0.3||Aug 23, 2019|
|0.0.2||May 21, 2019|
|0.0.1||May 21, 2019|
#294 in Data structures
28 downloads per month
Check out the web demo.
cargo doc --open to build and open the documentation in a browser.
Before committing/pushing, make sure to run
./check.sh, which runs
all the tests and lints that Travis will.
cargo tests will run the tests.
There are a couple interesting tests in the
prop.rsimplements propositional logic and proves some simple theorems.
math.rsimplements real arithmetic, with rewrite rules and a test case taken from Herbie.