A library for first-order term-rewriting
termination: A library for first-order term-rewriting
TODO: Write this README
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Hashes for termination-0.0.2-py3-none-any.whl