.gitignore
LICENSE
README.md
pyproject.toml
setup.py
src/natural2lean/__init__.py
src/natural2lean/translator.py
src/natural2lean.egg-info/PKG-INFO
src/natural2lean.egg-info/SOURCES.txt
src/natural2lean.egg-info/dependency_links.txt
src/natural2lean.egg-info/requires.txt
src/natural2lean.egg-info/top_level.txt
src/natural2lean/algebra/__init__.py
src/natural2lean/algebra/algebra.py
src/natural2lean/algebra/equation.py
src/natural2lean/algebra/expression.py
src/natural2lean/algebra/expression_possibilities.py
src/natural2lean/algebra/identifiers.py
src/natural2lean/algebra/translate_math.py
src/natural2lean/algebra/translation_constants.py
src/natural2lean/lean_interaction/__init__.py
src/natural2lean/lean_interaction/conclude_proof.py
src/natural2lean/lean_interaction/lean_feedback.py
src/natural2lean/proof_elements/__init__.py
src/natural2lean/proof_elements/statement/__init__.py
src/natural2lean/proof_elements/statement/have.py
src/natural2lean/proof_elements/statement/induction.py
src/natural2lean/proof_elements/statement/induction_case.py
src/natural2lean/proof_elements/statement/proof_structure.py
src/natural2lean/proof_elements/statement/simple_statements.py
src/natural2lean/proof_elements/statement/statement.py
src/natural2lean/proof_elements/statement/such_that.py
src/natural2lean/proof_elements/theorem/__init__.py
src/natural2lean/proof_elements/theorem/example.py
src/natural2lean/proof_elements/theorem/named_theorem.py
src/natural2lean/proof_elements/theorem/theorem.py
src/natural2lean/propositions/__init__.py
src/natural2lean/propositions/function.py
src/natural2lean/propositions/implication.py
src/natural2lean/propositions/multiple_propositions.py
src/natural2lean/propositions/proposition_constants.py
src/natural2lean/propositions/separate_propositions.py
src/natural2lean/utils/__init__.py
src/natural2lean/utils/exceptions.py
src/natural2lean/utils/git_management.py
src/natural2lean/utils/text.py
src/natural2lean/utils/translatable.py
src/natural2lean/utils/unfolding.py
tests/__init__.py
tests/exploration_testing.py