Skip to main content

A library for first-order term-rewriting

Project description

termination: A library for first-order term-rewriting

TODO: Write this README

Project details


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 details)

Uploaded Source

Built Distribution

termination-0.0.2-py3-none-any.whl (1.4 kB view details)

Uploaded Python 3

File details

Details for the file termination-0.0.2.tar.gz.

File metadata

  • Download URL: termination-0.0.2.tar.gz
  • Upload date:
  • Size: 1.1 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/1.11.0 pkginfo/1.4.2 requests/2.19.1 setuptools/40.0.0 requests-toolbelt/0.8.0 tqdm/4.24.0 CPython/3.7.0

File hashes

Hashes for termination-0.0.2.tar.gz
Algorithm Hash digest
SHA256 0732bd6d83f82eb3a2965dd51d2271b7214be7bf0620d21cb586da43e65b124b
MD5 a78555c378aab19c6d6ef3176b63e748
BLAKE2b-256 b6d1f37cc501b6cefa6a19faf288cee9506394e21519b4bc0aae8fc054e7fb02

See more details on using hashes here.

File details

Details for the file termination-0.0.2-py3-none-any.whl.

File metadata

  • Download URL: termination-0.0.2-py3-none-any.whl
  • Upload date:
  • Size: 1.4 kB
  • Tags: Python 3
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/1.11.0 pkginfo/1.4.2 requests/2.19.1 setuptools/40.0.0 requests-toolbelt/0.8.0 tqdm/4.24.0 CPython/3.7.0

File hashes

Hashes for termination-0.0.2-py3-none-any.whl
Algorithm Hash digest
SHA256 24309a25bd6a839ef06fafb0795dfa2418953b081ce10c9b7dd20e6c0b797f75
MD5 b54244d2eb8b13dccb189f800ea6d91f
BLAKE2b-256 a0a29bedf5f6a27ce720346645bc21a8cc518005719a4f4023aa4738cc4ef535

See more details on using hashes here.

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page