By mistake, a function’s name was printed two consecutive times if the function had more than one argument.
|1 year ago|
|src||1 year ago|
|.gitignore||1 year ago|
|Cargo.toml||1 year ago|
|LICENSE.md||1 year ago|
|README.md||1 year ago|
First-order logic with integer arithmetics in Rust
This Rust crate provides an abstract syntax tree for first-order formulas with integer arithmetics.