Command line interface for natural2lean package
Project description
natural2lean-cli
Simple command line interface for natural2lean
Project details
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
natural2lean-cli-0.0.1.tar.gz
(10.6 kB
view hashes)
Built Distributions
Close
Hashes for natural2lean_cli-0.0.1-py3.9.egg
Algorithm | Hash digest | |
---|---|---|
SHA256 | c7797f097ac062559db7c5d4f22b60662bbe6640f4f5fcde857f3b7a52108080 |
|
MD5 | c8f9d5aac556cc9cce92aae42d63dffe |
|
BLAKE2b-256 | af735e8cdb0eccee21385fa8845507f85795ecb77cb71451a0901806eacc29cb |
Close
Hashes for natural2lean_cli-0.0.1-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 23ff21cd8afc90f1c6ed6d9dd10b96ae93cb553600dfca2a1b0798418cae560d |
|
MD5 | 5fbd0b83e3bc789520554fbb99c9cffd |
|
BLAKE2b-256 | 1e29fbecf5b2d011d027916f30ba798f10db78f05031d1a9ea20861607aa4043 |