natural2lean (pypi): Translation of proofs from Natural Language to Lean
Keywords: auto-formalization|parser