natural2lean-cli (pypi): Command line interface for natural2lean package
Keywords: auto-formalization|parser|interactive