/hibou_trs_simplify_empty

Proof of convergence of a TRS for simplifying interaction terms

Apache License 2.0Apache-2.0

Watchers