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.2.tar.gz
(7.3 kB
view hashes)
Built Distribution
Close
Hashes for natural2lean_cli-0.0.2-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | a6041efe4a9d2543df350dcb1ecc4fcad3fa5831bde815994cc46ab8f3701142 |
|
MD5 | cef69edf70bcdc541c3928004e835a9a |
|
BLAKE2b-256 | d9b92c3f15b7a1251b74d65b18b9ad261f71a1251cc13426ccb39d3e18b0522f |