Metadata-Version: 2.1
Name: natural2lean-cli
Version: 0.0.1
Summary: Command line interface for natural2lean package
Home-page: https://github.com/Augustindou/natural2lean-cli
Author: Augustin d'Oultremont
Author-email: augustin.doultremont@outlook.com
License: UNKNOWN
Project-URL: Bug Tracker, https://github.com/Augustindou/natural2lean-cli/issues
Platform: UNKNOWN
Classifier: Programming Language :: Python :: 3
Classifier: License :: OSI Approved :: MIT License
Classifier: Operating System :: OS Independent
Requires-Python: >=3.9
Description-Content-Type: text/markdown
Provides-Extra: dev
License-File: LICENSE

# natural2lean-cli
Simple command line interface for natural2lean


