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