A library for first-order term-rewriting
Project description
termination: A library for first-order term-rewriting
TODO: Write this README
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
termination-0.0.2.tar.gz
(1.1 kB
view hashes)
Built Distribution
Close
Hashes for termination-0.0.2-py3-none-any.whl
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 24309a25bd6a839ef06fafb0795dfa2418953b081ce10c9b7dd20e6c0b797f75 |
|
| MD5 | b54244d2eb8b13dccb189f800ea6d91f |
|
| BLAKE2b-256 | a0a29bedf5f6a27ce720346645bc21a8cc518005719a4f4023aa4738cc4ef535 |
