PyPI recent updates for natural2lean-cli https://pypi.org/project/natural2lean-cli/ Recent updates to the Python Package Index for natural2lean-cli en 0.0.2 https://pypi.org/project/natural2lean-cli/0.0.2/ Command line interface for natural2lean package augustin.doultremont@outlook.com Wed, 17 Aug 2022 20:30:22 GMT 0.0.1 https://pypi.org/project/natural2lean-cli/0.0.1/ Command line interface for natural2lean package augustin.doultremont@outlook.com Wed, 03 Aug 2022 17:14:06 GMT