LaTeX-> Lean quality
#1
by
olegshevlyagin
- opened
i'm behind corca.app and currently looking for ways to translate my user's content into Lean.
did anyone try using this? what's the feedback?
tried in AWS and was not satisfied with the result.
olegshevlyagin
changed discussion status to
closed