term_rewriting is used at run time in 1 crate.
| Depender (with downloads and own rev deps) | term_rewriting version | |||
|---|---|---|---|---|
| 120 | programinduction | ^0.7.0 | ||
term_rewriting is used at run time in 1 crate.
| Depender (with downloads and own rev deps) | term_rewriting version | |||
|---|---|---|---|---|
| 120 | programinduction | ^0.7.0 | ||