natural2lean-cli
Simple command line interface for natural2lean
1 maintainer
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
natural2lean-cli-0.0.1.tar.gz
(10.6 kB
view details)
Built Distributions
Filter files by name, interpreter, ABI, and platform.
If you're not sure about the file name format, learn more about wheel file names.
Copy a direct link to the current filters
File details
Details for the file natural2lean-cli-0.0.1.tar.gz.
File metadata
- Download URL: natural2lean-cli-0.0.1.tar.gz
- Upload date:
- Size: 10.6 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via:
twine/4.0.1 CPython/3.9.13
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
bb8c4af3b14a1afdd319c4862768c4dab05dd0a700c38353aba176cddcfa10af
|
|
| MD5 |
bacf654687474cbf1eb6ea2e19b5be07
|
|
| BLAKE2b-256 |
a0e658ef6c5be929119a5b7838fcf716a64e9bee44b44b8639faf44e6b5d3293
|
File details
Details for the file natural2lean_cli-0.0.1-py3.9.egg.
File metadata
- Download URL: natural2lean_cli-0.0.1-py3.9.egg
- Upload date:
- Size: 1.5 kB
- Tags: Egg
- Uploaded using Trusted Publishing? No
- Uploaded via:
twine/4.0.1 CPython/3.9.13
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
c7797f097ac062559db7c5d4f22b60662bbe6640f4f5fcde857f3b7a52108080
|
|
| MD5 |
c8f9d5aac556cc9cce92aae42d63dffe
|
|
| BLAKE2b-256 |
af735e8cdb0eccee21385fa8845507f85795ecb77cb71451a0901806eacc29cb
|
File details
Details for the file natural2lean_cli-0.0.1-py3-none-any.whl.
File metadata
- Download URL: natural2lean_cli-0.0.1-py3-none-any.whl
- Upload date:
- Size: 8.2 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via:
twine/4.0.1 CPython/3.9.13
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
23ff21cd8afc90f1c6ed6d9dd10b96ae93cb553600dfca2a1b0798418cae560d
|
|
| MD5 |
5fbd0b83e3bc789520554fbb99c9cffd
|
|
| BLAKE2b-256 |
1e29fbecf5b2d011d027916f30ba798f10db78f05031d1a9ea20861607aa4043
|
