Wheelodex » Projects » natural2lean-cli

natural2lean-cli

View on PyPI — Reverse Dependencies (0)

0.0.2 natural2lean_cli-0.0.2-py3-none-any.whl

Wheel Details

Project: natural2lean-cli
Version: 0.0.2
Filename: natural2lean_cli-0.0.2-py3-none-any.whl
Download: [link]
Size: 8207
MD5: cef69edf70bcdc541c3928004e835a9a
SHA256: a6041efe4a9d2543df350dcb1ecc4fcad3fa5831bde815994cc46ab8f3701142
Uploaded: 2022-08-17 20:30:22 +0000

dist-info

METADATA · WHEEL · RECORD · top_level.txt · entry_points.txt

METADATA

Metadata-Version: 2.1
Name: natural2lean-cli
Version: 0.0.2
Summary: Command line interface for natural2lean package
Author: Augustin d'Oultremont
Author-Email: Augustin d'Oultremont <augustin.doultremont[at]outlook.com>
Home-Page: https://github.com/Augustindou/natural2lean-cli
Project-Url: Homepage, https://github.com/Augustindou/natural2lean-cli
License: MIT License Copyright (c) 2022 Augustindou Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions: The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software. THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
Keywords: auto-formalization,parser,interactive
Classifier: License :: OSI Approved :: MIT License
Classifier: Programming Language :: Python
Classifier: Programming Language :: Python :: 3
Requires-Python: >=3.9
Requires-Dist: natural2lean (>=0.0.3)
Requires-Dist: inquirerpy
Requires-Dist: pytest (>=3.6); extra == "dev"
Requires-Dist: pyperclip; extra == "dev"
Requires-Dist: black; extra == "dev"
Provides-Extra: dev
Description-Content-Type: text/markdown
License-File: LICENSE
[Description omitted; length: 66 characters]

WHEEL

Wheel-Version: 1.0
Generator: bdist_wheel (0.37.1)
Root-Is-Purelib: true
Tag: py3-none-any

RECORD

Path Digest Size
natural2lean_cli/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
natural2lean_cli/__main__.py sha256=DT7JRdd_VwZhG0c6kyQUgsISR2QKS2HOJBoAdQ7EMno 3197
natural2lean_cli/file.py sha256=4Zi5QkK9DtA-jr1VWoRxqZdKyISSA2Dbm_pqU3F4uow 2100
natural2lean_cli/interactive.py sha256=SMI8W_JAk6ZmiOiDoutXhBaC0TJLwpQl1RpaO0cxVT0 3873
natural2lean_cli/utils/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
natural2lean_cli/utils/progress_indicator.py sha256=cRZfR85vQIYVXq9khpQsRIJTy1dN8Bxh55Pq5Vus6pA 553
natural2lean_cli/utils/text.py sha256=jywC-ub3oP5ASmxz7SGPCTntZW8xrfZKs8z_PlM5MV4 1398
natural2lean_cli-0.0.2.dist-info/LICENSE sha256=TfIUC7RKsnf5xTDvPrc7KHWZu1-H6Dy63CO6glZipp8 1068
natural2lean_cli-0.0.2.dist-info/METADATA sha256=bJ3XIe8CNDv4qwajC-rIjeMUPCkNd36ZnNKqbaoq_vo 2142
natural2lean_cli-0.0.2.dist-info/WHEEL sha256=G16H4A3IeoQmnOrYV4ueZGKSjhipXx8zc8nu9FGlvMA 92
natural2lean_cli-0.0.2.dist-info/entry_points.txt sha256=3r7jgQJXAvE4yjJnppM62AVn7CuF63S3EnJmqwhMnRA 64
natural2lean_cli-0.0.2.dist-info/top_level.txt sha256=xHsVYiswadVkiKyJu1DCXx3k_bKkWP4CRYurV7hERNw 17
natural2lean_cli-0.0.2.dist-info/RECORD — —

top_level.txt

natural2lean_cli

entry_points.txt

[console_scripts]
natural2lean = natural2lean_cli.__main__:main