egg: egraphs good
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.